kommer den nya bergsskolan i Stockholm att utgöra endast ett appendix till teknologiska institutet.