Lankhorst, O.S. (Otto Stephanus), historicus 1953-