Jagersfontein Mine - 9.5 million carats of diamonds