äfven inrymma för blifvande bergsmän lämpad bergsmannaundervisning.