An 18th-century lexicon of mining defines a miner as “anyone who works in the mine or wears a miner’s leather bum-apron, and especially someone who has expert knowledge regarding mining matters” [3]. Today the term miner in the narrower sense denotes a worker engaged in the extraction and transport of mineral raw materials (Mining); in the broader sense, it also includes managerial personnel and the shareholders in a mine (see fig. 1).

The occupational group of miners comprised a variety employees, including workers both above ground and underground as well as …