German Historical Institute (London, England). Library.