det årliga anslaget borde bergsskolan således kunna fördubbla sin verksamhet , i händelse så mångselever