Stadt nach Onkel Ho benannt