The Founding of the Friends of the German Historical Institute in Washington, D.C.