på extra stat för år 1880 anvisa 10,200 kr.