Is it Wise to Pull Out or Redeploy 12,000 U.S. Troops from Germany?