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