VDL17 unterstützt animated GIFs. Du kannst also solche in deinem Projekt verwenden. Warum soll ich nach AVI konvertieren?
Die Lösung für das Problem hat MAGIX gegeben. Es gibt einen neuen Patch zum Download 10.0.10.2 der das Problem behebt. Hab es auch soeben ausprobiert. Funkt wieder.