Published in the Liber Amicorum for Harmen de Mol van Otterloo 'Wie is de Mol?'. By A.M. Boot, F.G.K. Overkleeft and F.E. Vermeulen (ed.).