源于德国地下矿业