Antonie Willem Michielse (1936-2010)