Hejsan! Någon som vet var jag kan få tag på Debian-paket av RealPlayer, helst både som fristående och som plugin till Firefox? Har letat runt lite men inte lyckats hitta något. /Peter