Én most töltöttem le az előbb a real.com-ról abban van "Realplayer Converter" .mp4-be simán (igaz tetű lassan) átkonvertálta amit fenn linkeltél.