User script to download videos from the ARTE+7 website