Super, vielen Dank für den Tipp!

Mein erster Eindruck: Handbrake liefert ein gutes Ergebnis. Freilich braucht man leistungsfähige Hardware oder viel Geduld: auf meinem Testgerät (Macbook Air) benötigt die Konvertierung ca. die 22-fache Zeit der Filmlänge; für eine 40-Minuten-Doku wurden mir nun geschätzte 15 Stunden Bearbeitungsdauer angezeigt... Nachtrag: mit dem i7 im Mini werden für diese Aufgabe 6,5 Stunden veranschlagt, und der Lüfter dreht hoch. Ich werde das vertagen, denn am mutmaßlich heissesten Tag dieses Jahres kann ich auf zusätzliche Wärmequellen gut verzichten