och Richard Wagners teater.