Bei MediathekViewWeb kann man die deutschen Mediatheken durchsuchen und sich die Inhalte in entsprechender Qualität herunterladen.

Ansonsten benutze ich auf der Kommandozeile youtube-dl.