Text this: Production of pipeline gas by hydrogasification of coal /