They should certainly be renamed, in my opinion. I’d like to treat it the way the East Germans did after the wall fell and give those places the opportunity to rename themselves away from an avowed racist and Sangerist. As an example, there is a high school in Berlin named after John Lennon.