On Thu, Oct 30, 2008 at 4:23 PM, Manfred Staudinger
<manfred.staudinger@xxxxxxxxx> wrote:
> Hi,
>
> I do _not_ receive messages from "mike@xxxxxxxxxxxx" anymore on Gmail

Works here. Check you filters in gmail perhaps?

Lech