b) de produktie van gas in gasfabrieken en de distributie van alle soorten gas aan de verbruikers, alsmede het vervoer door leidingen van alle soorten gas als zelfstandige dienst;
(b) the manufacture of gas in gasworks and the distribution to consumers of gas of all types, including the transportation by pipeline of gas of all types carried out as an independent service;