Royal Library
Copenhague, Bibliothèque royale