Kenn einer nen konverter, der das fraps format in nem wmv oder mpg format macht?