Herzlichen Dank für den Tipp.
Die Schaltfläche ist mir bekannt. Auf deinen Hinweis hin habe ich es nochmals versucht. Es dauerte einen Moment bis die Sender angezeigt wurden.
Jetzt kann ich die aktuellen Versionen von MediathekView auch sinnvoll nutzen.