I understand that many historical documents were destroyed in Germany during WW2. Can you name some major institutions (libraries, universities, archives...) whose destruction was significant in this regard?