Das kann aber auch HTML5 sein oder ein Video Clip der gedownloaded wird.
Edit:
Bei der Tagesschau in 100 Sekunden steht auf der ARD-Internetseite tatsächlich HTML5 und einen MP4 Download zur Auswahl. Bei anderen Videos aber wiederum nur Flash. (z.B. Sturm der Liebe)