Bibliothèque royale
Acquisition par la Bibliothèque royale des Pays-Bas.