My thanks go to all the employees of Deutsche Börse around the world for making this great achievement possible. Our employees now number more than 15,000 individuals from over 120 nationalities at more than 60 locations. Our success is also a success for Europe. In addition to the 4,000 staff members here in Germany, we have over 6,000 colleagues in European offices, including Prague, Luxembourg, London, Cork, Copenhagen, Warsaw and Paris. No other company in our sector is as European as we are. In us, Europe has a provider of critical capital market infrastructure that competes at a global level.