german miner