ماجرای کاهش ارتفاع قله دماوند چیست؟