Euronext: handel hervat om 10.20 uur