att riksdagen på extra stat för år 1880 skulle bevilja 8,000 kr.