Download Google Videos als AVI Files

Google Videos (video.google.com) werden normalerweisse im Google eigenen gvi (googlevideo) Format gespeichert. Wenn man die Videos allerdings im avi Format speichern möchte, reicht es, dieses kleine Bookmarklet an Stelle des Downloadlinks anzuklicken: Google Videos As AVI