enlargement of a mine gallery - Alemán Inglés Diccionario