läsrum och bibliotek , det senare med omkring 10,000 volymer.