Compensation, retraining and respiratory diseases: British coal miners, 1918–1939. (8th August 2017)