Text this: From the history of mining: Demidov's activities in the publications of "Gornyj zhurnal" (1861-1896)