@Iwanowitsch I would say.... that's about half a percent more gold. The article doesn't say whether it is being mined now. Presumably there are still plenty of spots where gold/gemstones or whatever are stored that simply cannot be mined economically. Just like diamonds in volcanoes
