Wat is de belangrijkste output van een mijn? Mineralen zouden het eerste, voor de hand liggende antwoord zijn: er zijn mijnen over de hele wereld die duizenden of zelfs miljoenen tonnen mineralen…