Update tagesschau.de-html5-videos.js