Gas pipeline leakage