@Jodi: De geboorteakte van Hengst geeft je gelijk. Dus ik heb zojuist de voornamen aangepast. Dank voor het doorgeven!
De bron van het oorspronkelijke verhaal is het <i>Nieuw Biografisch Woordenboek</i>, deel 9 (Amsterdam 1974), blz. 354. Maar ik heb niet meer gekeken hoe zijn naam daarin is opgenomen.