Comment by RandomWorker

On the grand scheme of things this is 12bil usd worth of gold. The GDP of Netherlands is 1.4 trillion USD. So, this is honestly a foot note.