Изменение размера GIF-анимации, pil/imagemagick, python

Я хочу изменить размер анимационного изображения GIF, используя python и PIL или PythonMagick. Я не могу найти решение. Метод PIL и thumbnail работает для jpg и png, но не для gif. У ImageMagick есть команда mogrify/convert -resize '1280x1024>', но я не могу найти документацию и не знаю, как это сделать с помощью pythonmagick.

Кто-нибудь знает решение?

В худшем случае я использую os/subprocess и конвертирую ;-S

Спасибо.