US-Armee zieht fast 12 000 Soldaten aus Deutschland ab