inberäknadt fördubblingarne af anslaget till bibliotekets underhållande och till det officiella trycket ( från 5,000 till 10,000 kr .)