Peinlich, sry. Ich benutze doch ein script "Bibliothek" wie es Boersenfeger gepostet hat.
Nachdem ich nach der Anleitung von Andreas die Änderung der utilities.js gemacht habe, funktioniert auch wieder der Bibliotheksbutton.
Da ich nur sehr sporadisch mal was neues in den FF aufnehme, ist mir nicht mehr so präsent, was ich in der Vergangenheit geändert habe. Nun weiß ich es wieder. Euch einen herzlichen Dank für eure Hartnäckigkeit und die Hilfe.