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