In memoriam Wim van de Burgt