@Peter van Overbeek: dank voor je aanvulling, we hebben de initialen toegevoegd. Overigens vernamen we dat de heer Hogenbosch afgelopen 24 juni in Rosmalen is overleden en dat de uitvaartdienst vandaag, op 1 juli, heeft plaatsgevonden in de Willibrorduskerk in Mill. Onze condoléances voor zijn nabestaanden.