— Stora teaterns reparation.