teatern , der Trollflöjten uppfördes.