Sorry Edgar,
habe Deine Frage erst jetzt gesehen. Bin mit meinen Gedanken momentan ganz wo anders
Also in diesem Fall war der Schädling ganz einfach als "Addon" in dem Browser installiert. Zur Beseitigung einfach die "Addons" aufrufen, den Schädling per Namen identifizieren und abschließend deinstallieren.
Gruß aus dem Süden, Peter.