var konungens bibliotek , uppgående till öfver 20,000 band.