Упомянутый в предыдущем вопросе венгерский город Сталинварош в 1961 году был переименован. Назовите имя собственное, от которого образовано современное название города.