There are mp4 links in the sidebar: <a href="http:&#x2F;&#x2F;replay-progressive.ethz.ch&#x2F;h264-medium.http&#x2F;10.3930&#x2F;ETHZ&#x2F;AV-d40b0ce9-b9fa-4ba3-8dee-cf9d0c6f01a4&#x2F;20140220_1730_HGF30_WirthSym_Wirth-dm.m4v" rel="nofollow">http:&#x2F;&#x2F;replay-progressive.ethz.ch&#x2F;h264-medium.http&#x2F;10.3930&#x2F;E...</a>