Boersenfeger,
an den VLC-Player hatte ich auch schon dran gedacht und jetzt eingerichtet :klasse:
pcinfarkt,
den RP habe ich mit Standardeinstellungen installiert und starte ihn von der Taskleiste aus, also nicht als Plug-In im Firefox.
Dafür ist in den Eigenschaften des RP das Ziel "C:\program files (x86)\real\realplayer\realplay.exe" http://stream.hoerradar.de/rsh128 angegeben.
Sobald der RP gestartet ist und auf das Internet zugreift - und nur dann -, wird prefs.js gesperrt und nicht mehr aktualisiert, wenn Firefox gestartet oder beendet wird.
Danke für eure Hinweise - ich werde, so wie es zurzeit aussieht, den VLC-Player nutzen.
Aber vielleicht haben andere ja auch dieses Problem und wussten gar nicht, dass der RP daran Schuld ist.