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