20171010 business.international-business: Global markets: Germany; U.S. stock indexes set fresh peaks; oil gains