Откуда взялось название Чертов ров?

Вместе с краеведом и топонимистом Дмитрием Бутеевым узнаем об интересных фактах о родном Смоленске.