In Memoriam Ruedi
Zur Erinnerung an Ruedi Eichenberger 1953-2016