Translation of "Opera house" in German

The opera house had provided the wrong instrument.
Die Oper hatte das falsche Instrument geliefert.
TED2020 v1

It is the only German opera house to have operated successfully without external subsidies since the year 2000.
Es ist seit 2000 das einzige deutsche Opernhaus, das ohne Subventionen auskommt.
Wikipedia v1.0

The Teatro Massimo Bellini is an opera house in Catania, Sicily, southern Italy.
Das Teatro Massimo Bellini ist ein Opernhaus in Catania, Sizilien.
Wikipedia v1.0

The Cairo Opera House serves as the main performing arts venue in the Egyptian capital.
Die Kairoer Oper fungiert als Hauptveranstaltungsort darstellender Künste in der Hauptstadt.
Wikipedia v1.0

Grand Théâtre de Genève is an opera house in Geneva, Switzerland.
Das Grand Théâtre de Genève ist ein Opernhaus in Genf.
Wikipedia v1.0