美国高级官员：美国在德国的驻军将减少9500人，当前为3.45万人。