den gamla operabyggoadskomplexcn i dess helhet att jernnäs med marken.