On Tue, Dec 7, 2010 at 2:06 AM, Helmut Hullen Hullen@t-online.de wrote:
I only see a mask where I can fill in old and new name for merging.
There should be a checkbox that says "Delete old user". Check it and leave the new name blank, and it will prompt you to merge the user to "Anonymous" and delete it (I don't know how well it will work if the account has made edits).
Honestly, you're better off taking Łukasz's and Thomas' advice. Deleting users is a really pointless endeavor.