Darum fragte ich ja, in welcher Konfigurationsdatei die Sender gespeichert sind, und ob ich sie dort einfach manuell hinzufügen kann.

Ob der Sender in 13.9.1 schon existiert, weiss ich nicht - und ob du den manuell irgendwie reinpfriemeln kannst, auch nicht.

Wie kann ich bitte die “neuen” Sender in meinem MediathekView 13.9.1 hinzufügen? In welcher Konfigurationsdatei kann ich das manuell eintragen?

Ich möchte keine neuere Version von MediathekView benutzen, weil anscheinend nur die alte 13.9.1 in der Lage ist, bereits während des Eintippens des Suchbegriffes entsprechende Treffer anzuzeigen, und bei den neueren Versionen muss man immer erst umständlich die Enter-Taste drücken, um zu sehen, ob es überhaupt irgendwelche Ergebnisse gibt (oder ob man sich vielleicht vertippt hat)

Das oben beschriebene Problem wurde zwar gelöst (Filmliste wird wieder regelmäßig erstellt), aber seitdem fehlen offensichtlich Titel in der Filmliste, wie z.B. die ersten beiden Folgen der aktuellen Staffel Maithink X Die Show, die Seit September ausgestrahlt wird.

Das stimmt nicht. Dein Problem hat viel mehr etwas damit zu tun, dass seit ca. 2 Monaten gewisse Sendungen nicht mehr unter ZDF, sondern ZDFneo und anderen ZDF-Subsendern gelistet werden:

Und ZDFneo musst du eben zuerst aktivieren (in diesem Thread für die Aktivierung von “ARD One” erklärt).

EDIT:
Der Forumspapagei Nr. 2 sagt dir im Folgenden dasselbe nochmals, einfach ohne Links und Hintergründe…