Mineral industry of Germany