old book The Royal Danish Library