den gamla operabyggnadskomplexen i dess helhet att jämnas med marken.