hade båda statsmakterna beslutit att förflytta den högre bergsskolan till Stockholm.