Home National Namibia’s marine diamond miner’s production slumps 13 pct in 2020