Europe: Industrial output down 7.3% in July