Oder man installiert einfach "Real Alternative". Dann kann jeder Media Player Real Videos abspielen.