In the decade after the Thirty Years' War, German and Austrian princes began providing themselves with theatres and opera houses. That at Munich, the Opernhaus in Salvatorplatz, built by a local baumeister in collaboration with the Venetian Francesco Santurini, was actually the first German theatre outside the walls of a palace. It was old-fashioned by Italian standards, but three galleries and a royal box were added in 1685 by Mauro.

In: Tidworth, Simon : Theatres: An Illustrated History. London 1973 p. 74