Eddy de Haan (1921-2009)