byggnad varande teater nedstörtade i går , hvarvid fyra arbetare dödades och fem illa skadades.