U.S. to Withdraw 5k Troops from Germany, Pentagon Says - Tech Sentiments