Title: Library of the late Sir Peter H. Edlin