I asked once, and the library assistant told me there were more than a hundred thousand books there, and more than sixty million pages of documents. It's a good number, I think: ten pages for every person who died. A kind of monument in paper for people who have no gravestones.