Okay, habs rausgefunden. Damit andere nicht suchen müssen:
Hab mit yt-dlp mir verschiedene Streams auflisten lassen (-F hinter der URL):
yt-dlp https://www.ardmediathek.de/video/Y3JpZDovL2Rhc2Vyc3RlLmRlL3RoZS13aGFsZS8yMDI1LTAxLTI2XzIzLTM1LU1FWg -F
Dadurch die ID des Streams der OV-Variante herausgefunden und per yt-dlp heruntergeladen mit folgendem Command:
yt-dlp https://www.ardmediathek.de/video/Y3JpZDovL2Rhc2Vyc3RlLmRlL3RoZS13aGFsZS8yMDI1LTAxLTI2XzIzLTM1LU1FWg -f http-main-6
Habe dann die Datei mit OV-Ton und die Datei mit deutschem Ton in ein Verzeichnis gepackt und mit dem Tool mkvtoolnix zusammengemuxt (also nur eine Datei mit zwei Tonspuren und hab dann auch die Untertiteldatei da reingeworfen).
Schade, dass es in der Mediathek keine Englischen Untertitel gibt :(
https://archive.is/hb5O1