skadades ingen at gasarbetarne , som verkställde gräfningen.