Cobbe, Hugh Michael Thomas, 1942-, OBE; librarian