is the name hitler banned in germany