In Memoriam: Robin de Groot