har Stora teatern i Edinburgh i måndags afton blifvit alldeles förstörd af en eldsvådli.