Royal Danish Theatre (between ca. 1890–1900). (creative commons)
Royal Danish Theatre (today), photo Axel Kuhlmann. (creative commons)