Translation of "If and only if" in German