the training and retraining of coalminers (International Labour Office)