Adaptions to make it work together with sympa

For me, your head version did not work with the real sympa server...?!
After some poking around, this is what works for me.