阳曲县红峗山原来叫什么