instörtade taket , hvarvid fem arbetare dödades samt tio så svårt skadades , att de måste med extratåginföras