Besten Dank für die Vorschläge.
Habe mich aber entschlossen auf Version 3.5.3 zurückzugehen wo es keine Probleme mit dem
Real Player gibt und auch in der Hoffnung, dass bei künftigen Updates des Firefox das beschriebene Problem
nicht mehr auftritt!