Hugo Koch — German miner