@Rasiererkönig
Also der "schnellste" Weg ist einfach ein Umbenennen der Datei. Je nach dem wie tolerant dein Endgerät mit Codecs bzw. Containern umzugehen vermag bzw. was für Player installiert sind, ist das durchaus möglich. Das wird natürlich nicht immer klappen, aber z.B. auf meinem Heimrechner (natürlich mit VLC Player) kann ich AVI, MKV oder MP4 beliebig hin- und her umbenennen und der spielt das problemlos ab... Versuch macht da klug...