Danke, das ist immerhin eine Work-around. Lieber wäre es mir allerdings, wenn es eine Weg gäbe, um auf auf dem Server und lokal nach den gleichen Kriterien zu suchen.
Die Markierung steckt übrigens im Server, denn der hat eine Flag „Deleted”. Siehe z.B. Achritt „a0005“ in den Dialog-Beispiele in https://de.wikipedia.org/wiki/Internet_…Access_Protocol