In Memoriam Jan de Vries