Koffiefontein Mine - 7.6 million carats of diamonds