brandmur hindrade eldens spridande till den s. k. krouvinden och sjelfva operahuset.