How many divisions of the U.S. Army were in Germany