Zitat von andir

Welche Bildbearbeitungssoftware hast Du?

Du solltest Dir eine mit Batchverarbeitung zulegen, das kostenlose IrfanView hat das, meines Wissens nach.

Dann einfach alle gifs ein paar mal vergrößern ( nicht auf einmal, sondern mehrmals, bis die 300px erreicht sind, ist besser für die Qualität) und zwischendurch das moderate Nachschärfen nicht vergessen.
Danach wieder als Animation zusammenschrauben.