In Memoriam Piet den Dekker