Over H.J. Doedens (1915-2004) by L.J.A. Pieterse