Manufactured gas made by distillation or carbonization of coal in a closed coal gas retort, coke oven, or other vessel.