Hallo und vielen Dank für die schnelle Antwort.
Das hat so leider nicht funktioniert. (Ich konnte allerdings verlorene Mails von einer Kollegin wiederbeschaffen.)
Ausserdem ist mir aufgefallen, dass die betroffenen Ordner so lange Namen hatten, dass sie mit Punkten in der Mitte abgekürzt wurden. Nach der Umstellung auf kürzere Ordnernamen habe ich das Problem mit den duplizierten und geleerten Ordnern (die sich dann auch teilweise standhaft dem Löschen gegenüber gewehrt haben) jetzt glücklicherweise (hoffentlich) nicht mehr.
Viele Grüsse
magdoni