Versuch es mal mit dem Firefox-Plugin "Video Download Helper". Das geht ganz einfach und die Auflösung kannst du auch auswählen.
Es gibt auch noch ein ganzes Programm, das sich um Downloads der öffentlichrechtlichen Mediatheken dreht. "Mediathekview" (gibt es u.a. bei
http://www.computerbild.de/download/...w-4503190.html )
Schau es dir einfach mal an.