Play back of blu-rays with VC-1 encoded video on a Linux (and Windows) PC

Unfortunately, it seems the VC-1 video codec is poorly supported on both the Windows and the Linux platform. Windows Media Player did not want to give me anything but sound. VLC was able to play back the video, but it has a lot of “micro stuttering”. On Linux with XBMC and other media players, I …