Okay, dann war vielleicht einfach der sound nicht repräsentativ …
Pull request kommt. Vorgestern hab ich mich mal gespielt und ausprobiert, da hat github gemeint, es wär ohne dev-merge machbar. Hab noch nie mit pull requests gearbeitet - soll ich trotzdem vorher mergen?
Ich habe gerade Webradio getestet, da klappt es mit dem Equalizer genauso wie bei Dateien.
@trainbird PR wird hier schwierig da Dein Branch auf dem Master basiert. Wir pflegen aber Features immer zuerst im DEV-Branch ein. Evt. müsste man sich die Codeteile dann rauspicken.
Aja, dann war das mit dem Stream eine Fehlinterpretation, puh! 
Mein Branch basiert auf dev. Habs grad nochmal auf Gitlens gesucht, das ist safe. Ich glaube, ich hätt es von master nicht machen können, weil die API-Entkopplung noch nicht dort angekommen ist 
Hier ist jedenfalls der PR.
@trainbird vielen Dank
@biologist Da könnte man (oder besser du 
) jetzt den Punkt 11 auf der ToDo-Liste auf behoben setzen. Oder spricht etwas dagegen?