WindowsMedia-Stream rippen

Hi!
Kann mir einer ein gutes Proggy nennen, mit dem ich WindowsMedia-Streams auf meine HD rippen kann? Hatte mal ein verdammt gutes, weiß aber nicht mehr, wie es heißt
Das Format ist *.wmv, mit nem normalen Download-Manager funktioniert's leider nicht bei diesen WMV's...

Wer's genau wissen will, hier die Videos:
***URL entfernt***

Thx für Antworten,
MiKe

Edit: Ich habe den Link als Vortsichtsmasnahme herausgenommen, damit wir nicht von ProSieben abgemahnt werden, Antworten auf den Thread sind aber weiterhin erwünscht. MfG Apu

Ich war gerade selber auf der Suche nach so einem Proggie, und hab festgestellt das ich eins aufm Rechner hab. Des Teil nennt sich VLC und ist eigentlich ein Player, mit dem man wirklich alles abspielen kann, selbst unfertige Dateien, mit dem kann man auch Streams rippen, und wenn man die entsprechenden Codecs installiert hat sogar in fast jedes Format transcodieren. Hier ist der Link dazu
http://www.videolan.org/vlc/