systematically classified collection of books or the institute created for it, together with its correspondent buildings