Frederiksen, Niels Erik, Statsbiblioteket