i den högre , s. k. bergsskoleafdelnineen,