the production, processing, transmission, distribution or supply of gas; or