北京城内九门中俗称的「哈德门」指的是（）。