The Dutch term "mijningenieur" matches the English term "mining-engineer"