Первоначально этот город назвали Станиславов, потом переименовали в Станислав, а как мы его называем сейчас?