C.F. Hansen: Christiansborg Slot, København, Det Kongelige Bibliotek