a stora teatern , anwändas , i följd af det widlyftiga maskineriet,