In memoriam John de Haan