gasarbetarne , som verkstälde gräfningen.