Mining is the exploration, development, extraction and processing of mineral resources from the upper earth’s crust using technical equipment and aids. (see http://de.wikipedia.org/wiki/Bergbau)