bergsallmänning för 2,500 kr.