Grupo de Usuarios de Tecnologías Libres

Saludos comunidad:

quiero completar un trabajo y para ello necesito convertir una serie de algunos videos cortos (de unos 5-7 segundos) de formato WEBM a formato GIF para colocarlos en la web, ¿existe alguna forma de hacerlo? no tengo salida a internet, por eso no he podido buscar por mi mismo jejeje...

Un abrazo..

LordFord.