års riksdag boviljade på extra stat för 1888 ett belopp af 12,000 kr.