Germany's industrial production down in September