US-Präsident Donald Trump will einem Medienbericht zufolge 9.500 der 34.500 in Deutschland stationierten US-Soldaten abziehen. Das „Wall…