Ja gut, dann ist diese Anleitung eben veraltet: https://support.mozilla.org/de/kb/exportie…ion-exportieren
in der Anleitung steht:
Erstellen der Sicherung eines umfangreichen Profils:
Wenn Ihr Profilordner größer als 2 GB ist, müssen Sie den Dateimanager verwenden und Ihren Profilordner selbst sichern.
Nun bin ich auch sicher, was nun richtig ist.
Vielen Dank für Eure Hilfe