Germany's industrial production down in December