Editorial Note

On October 24 President Truman proclaimed that the state of war between the United States and the Government of Germany had been terminated on October 19. For the text of the proclamation, see American Foreign Policy, 1950–1955: Basic Documents, volume II, pages 1723–1724, or 66 Stat. c3.