samt sedan 1879 bergsinstitutet i Petersburg.