Danke - dein Vorschlag hat funktioniert.
Um die alte (bewährte) SearchBox wiederher-
zustellen, muss man wie folgt vorgehen:
Zuerst about:config in der Adressleiste eingeben
und dann den (oben beschriebenen) Term
browser.search.showOneOffButtons
auf false einstellen.
Nach einem Browser-Neustart ist die alte
(geliebte) Suchbox wieder zu sehen.