sedan innehöll biblioteket omkring 13,000 volymer.