a city of Hungary, forty miles north of Tokay; it is remarkable for its salt mines.