Het oude en nieuwe gasthuis te Delft 1252-1795 - Oosterbaan, Dinant Petrus (1954)