Stream als Filmdatei downloaden/umwandeln?

[NBer]

Hallo
Kann mir jemand helfen? Ich soll für eine Schülerin, die das für ein Schulprojekt bräuchten, einen Stream ( http://www.spiegel.tv/filme/burnout-trailer/ ) vorführtauglich machen. Sprich zb Werbung rausschneiden usw.
Dazu bräuchte ich den Stream als bearbeitbare Filmdatei. Kann man das aus dem Stream als avi, mp4 oder ähnliches extrahieren?

[sinapur]

mit camtasia oder ähnlichem einfach direkt softwareseitig "abfilmen". ob man direkt an die video datei die auf dem server liegt rankommt bezweifle ich

[t-from-ger]

CamStudio wäre auch eine Alternative.