Lamps and roof window in The Royal Library in Copenhagen