Since movies in German public television are only available online for a limited amount of time, you might want to download something before it's gone. This helps.
Run the script from Terminal:
./arte_downloader.shPaste the url of the video, select a quality, that's it.
This script uses curl, jq and sed.