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.