Restauratörsombytet vid Stora teatern.