The US president reportedly wants to reduce the number of US soldiers in Germany by 9,500.