Thanks Todd, just what I was looking for :)
I have tried it now - but cannot find the place to chose the option mentioned here in no. 4:
- Select the sequence.
- Choose File > Export > Media.
- In the Export Settings dialog box, choose Microsoft AVI or QuickTime from the Format menu.
- On the Video tab, choose PNG, None, or Animation from the Video Codec menu, and choose 32 from the Depth menu.
- Set other settings and click Export or Queue to export as you normally would.
PNG and Animation are QuickTime codecs; use the None option for an AVI output.
Thanks, will try that