，欧洲斯托克600指数触及盘中纪录高点。