conversion - Which file format to use for simple video editoring ...