The German Historical Institute in Washington, 1987-2012 : A Short History