Providing 25% of Namibia's revenue, mining is the single most important contributor to the economy. Who is the world's biggest exporter of diamonds?