Danke! Nach Ihrer Antwort habe ich die Anleitung zum 3. Mal gelesen (kein Scherz) und dann die Datei MediathekView.sh geändert - ohne wirklich zu wissen, was ich da tue. Bisher scheint es zu gehen. Allerdings habe ich MediathekView noch nicht aktualisiert.