Mail filters question still unanswered

At 11:25 2002-05-10 +0200, you wrote:
>Hi Bill Phillips,
>
>Es war einmal 09.05.2002 23:26:51  mit dieser Mail:

>
>You can filter on every Header it have.

>But you have to ask one else than me to find out how.
>Can Filip should be able to help you on mailfiltering.


I inquired about how to set up mail filters in Hamster several days ago and the above is the only response I've received so far. Good to know that I can filter on any kind of header. The question remains: how do I set this up?

A few sample filters would be nice. What I have seen on the websites so far hasn't answered my question.

To restate the question: How do I set up mail filters using arbitrary message headers? For instance, given the header:

>Content-Type: text/html; charset="ks_c_5601-1987"

how do I make a filter that will delete this message on the remote server without downloading the whole thing? (Or the nearest possible action.)


Thanks,
Bill Phillips