How common was the name Hitler in Germany/Austria? I can imagine there where quite some people sharing the name with Adolf. So, did they just change it to random other names, or did they get some specific names from the 'government'?