bestående af öfver 8,000 volymer.