Vielen Dank für die zügige Hilfe. Ja, ich hatte firefox dieses Mal von der Herstellerseite heruntergeladen. Das Problem war, glaube ich, dass die erste Deinstallation nicht komplett war. Ich hatte zwar manuell das Profilverzeichnis gelöscht, aber leider zu spät. Nach dem Hinweis von boardraider habe ich firefox noch einmal deinstalliert und danach war auch das Profilverzeichnis mit gelöscht, was bei der Deinstallation der web.de - Version nicht der Fall war. Nach erneuter Installation scheint jetzt alles ok zu sein.
Vielen Dank noch einmal.