Ja, Danke. Das war vor ein paar Tagen noch nicht auf YT zu sehen. Normalerweise nutze ich ClipGrab, einen Youtube-Downloader. Das lädt so ziemlich alles bis auf einige öffentlich-rechtliche Sender wie eben Arte. Für einen stream mit vlc-player hatte ich keine Zeit.
__________________
whatever it takes