gamla operabygnadskomplexen i dess helhet att jämnas med marken.