skadades ingen af gasarbetarne , sorn verkstälde gräfningen.