Город Боро́н известен как место добычи полезных ископаемых. Несколько комично, что город одно время носил... Какое название?