Translation of "World champion" in German