Jagersfontein’s big hole, established 1870