USE OF OIL PRODUCTS BY THE GAS INDUSTRY FOR THE MANUFACTURE OF TOWN GAS AS WELL AS OF GAS INTERCHANGEABLE WITH NATURAL GAS, AND THE RECENTLY DEVELOPED RELEVANT PROCESSES.