In memoriam Ruud van der Horst