vielen dank für die hilfe...
ich habe das problem gelöst, indem ich
- nach der anleitung ein neues profil erstellt habe
- die datei "prefs.js" des alten profils durch die neue ersetzt habe...
daraufhin funktionierte alles wieder, ich musste so ein paar einstellungen, wie startseite und die tab-mix-plus-einstellungen neu machen, sonst habe ich alles wie immer.
vielen dank.
der.gaukler