In memoriam Ruud de Vos