sättning gjerde , att arbetarne dragit sig undan , så att ingen menniska skadades.