bergsskolan skall upphöra att tjenstgöra såsom repetitörvid