Ich verwende den Firefox und das Addon VideoDownload Helper.
Außerdem brauchen wir noch ein Bildverarbeitungsprogramm, das mit animierten Gifs umgehen kann. Ich nehme das kostenfreie Gimp. Mit etwas Übung dauert die Bearbeitung weniger als 5 Minuten.
