Deutsche börse pronunciation