Gasarbetarne tänkte göra grive , hette det.