Old De Beers mine, 1873