rg3/youtube-dl — pull request #3011 by georgjaehnig (2014-05-30 16:02:46+00:00)
Title: Support for Spiegel.tv

This adds support for http://www.spiegel.tv/ , as requested in #2474.
(The problem mentioned in #3008 turned out to be a non-issue.)