Danke für die Tipps mit Handbrake und VideoProc Converter. Von dem letzteren gibt es laut Homepage auch eine kostenlose Version mit eingeschränkten Funktionsumfang, was vollkommen in Ordnung für mich ist, da die gewünschten Funktionen enthalten sind.

In dem Eletronikmarkt, in dem ich vor ein paar Tagen war, um herauszufinden, welche Smart TVs noch Avi-Dateien abspielen kann (keiner von denen, die wir ausprobiert haben) hat mir noch ein Mitarbeiter den Tipp gegeben, auf dem Smart TV (Android-Betriebssystem vorausgesetzt) den VLC-Player zu installieren. Der müßte auch Avi-Dateien abspielen können. Ausprobieren ging allerdings nicht, da man sonst erst auf den Ausstellungsgeräten sich in Google hätte anmelden müssen. Auf meinem Gerät habe ich leider kein Android, sondern Vidaa. Vielleicht kann jemand, dessen Gerät auf Android läuft, das ausprobieren und dann hier berichten.

Gruß
vw