*.AVI contra Videocontainer: *.AVI

Als Videograf alter Schule befinden sich auf einer meiner externen Festplatten noch sehr viele Videos im Format *.AVI (*. avi). Das ist ein weitverbreitetes Format aus einer Zeit, als man noch auf Kassetten, z.B. mini- DV, aufzeichnete.

Nun stehe ich vor der Frage, mit welchem Player, der an einen TV per HDMI anzuschließen ist, diese Videos angeschaut werden können. Mit einem Media-Player von WD TV live oder einem anderen Player klappt das nicht, weil das Format *.AVI nicht unterstützt wird. Offensichtlich hat dieses Format keine Lobby, dafür das Format Videocontainer:*AVI. Verwechslung ausgeschlossen? Sei' s drum.

Kennt jemand einen Player, mit dem das Abspielen von *.AVI s am TV möglich ist? Ich habe nämlich weder Zeit noch Lust zum Konvertieren.

Danke.