Germany's industrial production down 0.4% in November