20171002 business.international-business: Dutch manufacturing PMI nears record high in September