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 – a Fediverse instance for & by the Chaos community