Uups! dachte der Thread sei inaktiv, da ich keine Benachrichtigungen mehr erhalten hatte.
Anyway,... das Problem hat sich bei mir scheinbar von selbst erledigt. Ich bin gar nicht dazu gekommen, die extra angelegte Batchdatei auszuprobieren, denn das Problem ist einfach nicht mehr aufgetaucht, und ich kann beim besten Willen nicht sagen, womit es zu tun haben könnte. An Firefox selbst habe ich nichts geändert (zumindest nicht bewusst), und meines Wissens habe ich auch keine anderen Programme zur selben Zeit de/installiert.
Die einzige vage Möglichkeit, die ich sehe, ist dass es zusammenhängt mit der Deinstallation der Zonealarm Umsonst-Firewall ein paar Tage später. (Die wird ja des Öfteren für Probleme verantwortlich gemacht, hat mir bislang aber immer gute Dienste geleistet.)
aber wie gesagt, das ist nur eine vage Vermutung.
Hat irgendwer hier rein zufällig ähnliche Erfahrungen gemacht?