GuGuss/ARTE-7-Downloader — pull request #9 by uahim (2014-09-11 20:27:52+00:00)
Title: Update arte-downloader.user.js

you accidentally mixed up the quality descriptors, this is a fix