Hallo Andreas,
danke für Deinen Hinweis; das hatte ich schon kontrolliert, war aber OK.
Trotzdem habe ich jetzt die Lösung: zunächst habe ich alle AdOns deaktiviert und danach wieder schrittweise aktiviert, wobei ich jeweils FF neu gestartet habe. Mein besonderes Augenmerk lag immer auf dem Bereich rechts-unten. Jetzt habe ich ein Lupen-Symbol mit dem merkwürdigen Text SearchPug rechts-oben gesehen und siehe da, es ist SENSEO.
Damit schliesse ich den Beitrag und danke nochmal für die Hilfe.
Manfred