Download YouTube & Google Video clips via bookmarklets

http://1024k.de/bookmarklets/video-bookmarklets.html

Easy downloading of videos in multiple formats from various video publishers by means of bookmarklets.