Restauratörsombyte vid Stora teatern.