spiegel.de changed

It appears that recently, spiegel.de renamed "article-overscroll-area" to "page-overscroll-area", so the script needs to be adapted to work:
- var $scrollingTargets = jQuery('#article-overscroll-area, #article-overscrolling');
+ var $scrollingTargets = jQuery('#page-overscroll-area, #article-overscrolling');