för år 1888 beviljat ett extra anslag af 20.000 kr.