... hat mir noch ein Mitarbeiter den Tipp gegeben, auf dem Smart TV (Android-Betriebssystem vorausgesetzt) den VLC-Player zu installieren.
...
Das müsste funktionieren. Denn ich habe einen Fire-Stick mit Android hier an meinem alten TV im Einsatz und nutze da ebenfalls VLC. Der kommt mit DivX klar.