Die Liste stammt von der App Zapp, mit der man auf Android die Live-Streams der öffentlich-rechtlichen Fernsehsender anschauen kann. https://github.com/cemrich/zapp/blob/master/app/src/main/res/raw/channels.json Die einzelnen Streams lassen sich gut mit mpv oder auch VLC ansehen. Dafür kann man z. B. ein Alias für mpv...

Vor einiger Zeit hatte ich hier schon die freie App mit dem Namen Zapp erwähnt, mit der man sich das Live-Programm der öffentlich-rechtlichen Sender aus Deutschland ansehen kann. Seit einiger Zeit ist es mit der App auch möglich, zusätzlich auf die Mediathek zuzugreifen. Die App gibt es nur bei F-Droid, siehe hier....