Какое из перечисленных названий является неофициальным названием города?