Как звучит неофициальное название города Орла, связанное с его освобождением 5 августа 1943 года в ходе Курской битвы от немецко-фашистских захватчиков?