In Memoriam: Marion Lewenstein, 93