EU: Industrial production down 0.7 pct in July