Den högre bergskolans elever , 9 tili antalet,