Mikkelsen, Hans Kristian, Det Kongelige Bibliotek