extra stat för år 1888 måtte beviljas 20,000 kr.