Ведьмина гора – выдумка автора. Возможно такое название существует, но в тексте оно не имеет никакого отношения к реальности.