The “Big Hole” at the Kimberley Diamond Mine, South Africa, in 1872 and today. Diamonds