Mehr als 12.000 US-Soldaten sollen aus Deutschland abgezogen werden.