. . "For a period of more than 40 years, beginning in 1940, the amount of coal used in the United States for this purpose doubled in every decade. coal is no longer widely used to heat homes and buildings, as was the case a half century ago, but it is still used in industries such as paper production, cement and ceramic manufacture, iron and steel production, and chemical manufacture for heating and fo" . . .