Germany's industrial production up 2.8% in October