det gustavianska operahusets historiakommer att ledsaga dess försvinnande ur tiden.