har 900 , 000 , Berlins k. bibliotek800,000