Is it just me or is youtube-dl not working with ORF TVthek anymore?

I'm using debian linux and youtube-dl 2018.10.29
My URL for testing:


I just discovered the tool "streamlink" ... which makes it also very easy to download videos from ORF tvthek.
Just install via your favourite package manager (or pip) and type (for best quality):
streamlink https://urlToStream.example/foo best -o outputfile.mp4

Sign in to participate in the conversation - because anarchy is much more fun with friends. is a small Mastodon instance for and by the Chaos community surrounding the Chaos Computer Club. We provide a small community space - Be excellent to each other, and have a look at what that means around here.
Follow @ordnung for low-traffic instance-related updates.
The primary instance languages are German and English.