Restaurationen å Stora teatern,