Yup, stumbled onto it randomly and was the single longest place I was at during my short 16ish hours in Copenhagen(including 8 hours of sleep, travel time to and from the airport, clearing security and all that, actual time in the city was about 8 hours).