till påskyndande af katalogiseringsarbeten i k. bilioteket , dels ett extra anslag af 1,800 kr.