Thank you for providing the video in a free, open format. The highest 1280x720 file makes VLC and mplayer actually crash with "insufficient resources for operation", maybe because I tried watching it on a screen with less resolution (to test the downscaling you mention).