As of 9:05:03 am GMT+2. Market open.