OK, wenn der benannte Ordner tatsächlich leer ist, dann war das ja sehr effektiv im negativen Sinn...! Dann geht nur die Wiederherstellung des ganzen Ordners. Würde aber vor dem Start von Mail die Envelope-Index vorher löschen.
