directorate of the mining industry - Alemán Inglés Diccionario