The history of coke making and of the Coke oven managers' association;