The Dutch term "mijnwerker" matches the English term "miner"