Pyrolysis of coal at high temperatures