U.S. to withdraw 5,000 troops from Germany, fulfilling Trump’s threat