Sorry for the delay.
On Wed, 2012-09-12 at 20:21 +0200, Stefan G. Weichinger wrote:
ps: regarding this mailing list:
Why do the headers of the mailing-list-mails not contain a "List-Id" ? I use that for server-based filtering with other lists. Very handy ...
I don't know. Does mailman support "List-Id"? RFC-2369 headers are enabled, so I guess that will include List-Id.