Vermutlich gar keines, weil das Video nur im Flash Video bzw. Windows Media Video Format vorliegt. Aber nach dem Download könntest du das Flash Video in einen AVI Container packen, wenn es unbedingt sein muss.