Danke! Also ich weiß nicht, ob das am inzwischen erfolgten System-Neustart liegt (hatte heute morgen nicht mehr nachgeprüft, ob die verdoppelten Mails noch da sind) oder am Komprimiern der Ordner, aber das Problem ist verschwunden, ohne dass ich die Index-Dateien hätte löschen müssen.
Noch eine kleine Frage: Das Komprimieren ging ja sehr schnell; sobald die Ansicht des jeweiligen Ordners wieder normal zu sehen war (also nach 1-3 Sekunden oder so) habe ich weitergearbeitet; einmal ist mir jedoch aufgefallen, dass in der Leiste unten links noch vom Komprimieren des Ordners die Rede war, wobei sich sonst nichts zu tun schien. Kann da schon nichts schiefgehen bzgl. Datenverlust bei Nichtbeachtung des (vermeintlichen -- es hat sich wohl einfach um übriggebliebene Anzeigen gehandelt) Komprimiervorgangs? (Ein Backup habe ich ohnehin gemacht.)