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