Update:
vdr wird gestartet, bricht allerdings wegen fehlendem DVB-Device ab. Ist ja auch logisch. Wie bekomm ich nun das Softdevice konfiguriert?
Ach ja, meine Versuche mit VLC schlugen alle fehl. Der Stream ist angeblich nicht verfügbar. Ich bekomme jedoch im Browser die Liste von Streamdev-Server angezeigt.
Gruß,
Michael