reparation försatte visserligen teatern i någorlunda brukbart skick för 4 månader , men den egentliga reparationen företogs på sommaren.