bibliotek i Köpenhamn , käjserligabiblioteket