DISCUSSION. ON THE DISTILLATION OF COAL, THE UTILIZATION OF THE RESULTING PRODUCTS AND THE MANUFACTURE OF COKE.