The Royal Theatre has been in operation since 1748, although the present building dates from 1872. There was a huge construction site in front of it, so it wasn’t possible to get a full shot of the impressive Neo-Renaissance structure.