"Hitler" is a German family name. It didn't belong just to Adolf Hitler, many people have that family name. I guess with the tolerance for free spech there is no such rule. Although I see that you are partly right and if someone would nickname himself for example "AdolfHitler" or "Let's kill jews", "Let's kill blacks" and things like that, he should be banned.