Germany's industrial production slightly down in October