Riduzione dell'orario di lavoro per i lavoratori delle miniere.