Archivmaterialien zu Hendrik P. Barendregt, 1947- - Barendregt, Hendrik P.