“f) mine, an oil or gas well, a quarry or any other place of extraction of natural resources.
f) una mina, un pozo de petróleo o de gas, una cantera o cualquier otro lugar de extracción de recursos naturales.