till k. biblioteket anvisade anslaget för böckers inköp och inbindning med 15,000 kr.