Euro zone industry shrinks more than feared in June but GDP holds up - Reuters