repertoirens dekoralioner i sjelfva operahuset , så att representationerna icke behöfva afbrytas.