Royal library in Copenhagen (The)