Und es geht noch einfacher: Wenn man den Desktop mit Camtasia aufnimmt kann man beim Exportieren gleich gif als Format angeben. Dann braucht man keine extra Programme.