Советы Создателям Фильмов

Как конвертировать анимированный GIF в AVI на Windows / Mac / в Интернете?