MP4 to WMV

I have been struggling with creating video files that are easily playable on both OS X and Windows. Of course it is possible to make an avi with some “ancient” video codec, but that is not very tempting when the new H.264 codec is so nice. Of course, it would be nice if Windows users could use QuickTime, but for those who decline to do so, I found an easy way for converting MPEG-4 files to WMV.