beviljade 1880 och 1881 års riksdagar sammanlagdt 200,000 kr.