Hallo
Besten Dank für den Tipp. Die Operation wurde nach einigen Problemen erfolgreich abgeschlossen.
Ein Hinweis:
In diesem Thread wird im ersten Beitrag eine Zip-Datei namens firefox-anpassungen.zip mit wichtigen Ordnern und Dateien zum Download angeboten. Nach ihrem Entpacken ist leider festzustellen, dass im Ordner chrome die Dateien userChrome.css und userContent.css fehlen. Diesen Mangel bitte beheben lassen.
Grüße