In Memoriam: Ivan Snyder