Filterregeln greifen nicht beim Prüfen auf Empfänger-Header

Für eine eigene Domain ist bei Mailbox.org ein Catchall-Alias eingerichtet. Mails an die Adresse "verteiler-k-z@" sollen an andere Mailadressen weitergeleitet und anschließend verworfen (gelöscht) werden.

Es klappt aber nicht. Diese Mails bleiben in der Inbox liegen und werden nicht weitergeleitet.

Im Header einer solchen Mail steht:

Delivered-To: verteiler-k-z@eigene-tolle-domain.de
Received: from director-04.heinlein-hosting.de ([80.241.60.212])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
by dobby36a.heinlein-hosting.de with LMTPS
id mDnMIOolGmYQcAAARM9J4w
(envelope-from <roland@rolands-tolle-domain.de>)
for <verteiler-k-z@eigene-tolle-domain.de>; Sat, 13 Apr 2024 08:27:54 +0200
...
To: verteiler-k-z@eigene-tolle-domain.de

Einen »envelope-to« Header gibt es nicht.

Als Filterregeln sind eingerichtet:


Den Haken bei »Gegen nachfolgende Regeln prüfen« habe ich wahlweise aktiviert und deaktiviert. Es ändert nichts am Ergebnis.

Die Dokumentation unter https://kb.mailbox.org/de/privat/e-mail/serverseitig-e-mails-filtern-mit-sieve-regeln/ geht auf die Filterkriterien leider nicht ein. Die hier von anderen gepostete Seite https://web.archive.org/web/20200807204727/https://www.b-ehlers.de/blog/posts/2020-02-11-mailbox.org-email-filter.de/ liest sich so, als seien die obigen Regeln korrekt.

Wo könnte der Denkfehler liegen? Hinweise sind sehr willkommen.