In the 19th and 20th century, thousands of coal gasification plants were operating all over the world. Pipeline distribution of natural gas following World War II replaced manufactured gas as a major fuel; as a result ...