I accidentally installed sometime ago the Realplayer to test embedding videos inside PDFs. Anyhow this turned out not to work and wouldn't have been portable eitherway, so I decide to get rid of this tool again. Since its not a package I cannot uninstall with apt-get or dpkg. Its Realplayer 11 Gold.