Trump-EU rift spurs Germany to boost military, add 75,000 soldiers