Funktioniert problemlos für mp4-Streams aus Mediatheken.
Das ist das, was ich nutze.
Anderes habe ich noch nicht probiert.
Prima: räumt temporäre Dateien auf.