Okej, ich gebe mich geschlagen. Wahrscheinlich kann ich dort (auf dem Smartphone) einen Filter setzen, der nur die Mails von einem bestimmten Absender zeigt? Dann hätte ich ja auch was ich will. Und noch mal mein Mailprotokoll ist IMAP, ja.
Danke für alle eiure Tipps und Vorschläge.