Отредактировать видео и сохранить в gif

Необходимо оперативно отредактировать видео.

1) Обрезать по рамке, получится примерно 600х450 точек.

2) Обрезать длительность, получится 15 секунд.

3) Вырезать и вставить элемент 100х100 точек из другого видео длительностью 4 секунды.

4) сохранить в gif