In Memoriam: ﻿Marion Lewenstein, 93