Wie kann ich aus GR-Dateien MP4 oder AVI machen?

Hallo Leute !

Ich bin neu hier, wie ihr vielleicht seht.

Ich hab mir heute einen neuen Fernseher gekauft. dieser kann sendungen etc. per USB.stick aufnehmen als abspeichern.

Nur habe ich bemerkt, das der Fernseher die aufgenommene datei als eine GR-Datei umwandelt.

Naja, das ist anscheinend kein so übliches format.

Darum suche ich dringend eure hilfe, weil ich alleine mit nicht mehr helfen kann.

Kennt jemand einen Player, der so ein gr-format abspielen kann, oder einen Converter der eine gr-datei beispielsweise in eine avi-datei umwandelt oder sowas in der art?

Ich hoffe sehr das ihr mir weiterhelfen könnt ! Ich zähle auf dieses forum !!!

liebe grüße
Marco