beslående af öfver 8,000 volymer.