EU: Industrial production down in July