El antiguo nombre húngaro de la ciudad era Czoborszentmihály.