till fyllande af statshristen för år 1880 6 ' / 2 millioner kr.