Last months of the Library of the Kern Institute, Universiteit Leiden, until its final closure in 2010