Text this: Mitteldeutsche Börse.