Berlins kungliga bibliotek äger800,000