Frodeno und Haug sorgen für deutschen Doppelsieg bei der Ironman-WM