Es gibt nach meinen bisherigen Recherchen keinen Freeware-Konverter, der Stream-Mitschnitte vom Real Player, die im .irv-Format sind, in ein normales Videoformat umwandeln kann.
Weiß einer, wie man das am Schnellsten bzw. Unkompliziertesten nochmal mit einem anderen Format aufnimmt oder kopiert?