US to bring 6,400 troops home from Germany