Svendsen, Michael, Royal Danish Library, Denmark