1872 stält ett extra anslag af 20 000 rdr , att användas till fullgörande af de uppdrag , som varit i nämnda förslag afsedda,