Ja im Junkordner habe ich nachgesehen, da sind die vermissten Mails nicht.
In den Servereinstellungen ist sowohl "automatisch herunterladen" als auch "nur Kopfzeilen" aktiviert.
Was ist erreichen möchte ist, dass 1. Mails von bekannten Absendern komplett heruntergeladen werden und 2. bei Mails von Unbekannten nur die Kopfzeilen. Nach Lektüre des von mir zitierten Threads hatte ich angenommen, dass das so geht.
Was mir allerdings nicht klar ist: Haben die Servereinstellungen Vorrang oder der Filter. Wenn nach den Servereinstellungen nur die Kopfzeilen runtergeladen werden, können dann über den Filter die Mails komplett geladen werden? Oder müssen die Servereinstellungen das komplette Herunterladen erlauben und der Filter schränkt das dann ein, so dass nur die dort definierten Mails komplett geladen werden?
Jedenfalls möchte ich nicht über einen Filter die Mails von unbekannten Absendern unbesehen auf dem Server löschen.