riksdagen för år 1888 beviljat ett extra anslag af 20,000 kr.