How many libraries were destroyed during world war 2? How much information is estimated to have been lost, and are there examples of books/records we know existed but no longer have copies of because of the war?