Ik heb een aantal bestanden gedownloadt die ik wil branden naar DVD. Het zijn avi bestanden en worden afgespeeld met windows mediaplayer. Als ik ze brand dan duurt het twee uur voordat ze klaar zijn. Volgens mij moet ik ze in een andere extensie branden. Welke zou dat zijn en hoe zet ik ze dan om?