The diamond mines in Namibia