Björn Otto gewinnt Aachener Domspringen