Ich nutze dafür einfach die Firefox-Erweiterung [
url=https://addons.mozilla.org/de/firefox/addon/3006/Video Download Helper[/
url]. Man hat verschiedene Qualitätsstufen zur Auswahl, und bei vielen anderen Seiten funktioniert der auch. Für den Fall, dass ich mal mehrere Videos herunterladen will, habe ich mir ein Python-Script geschrieben.