"Манин Борис Сергеевич": добавление истории.