Mikkelsen, Søren Ærendahl, Statsbiblioteket