Wow, thanks a lot!
I have to say that this is the first feature in Discourse ever that I actually find very counter-intuitive.
The intuitive way for me is to go to the user and mute him there (just as Twitter does), not the otherway around.
Anyway, at least it is working. So thanks for your reply!