ความสูงเฉลี่ยของภูเขา Hochgall ที่สูงที่สุดคือเท่าใด?ไม่จำเป็นต้องใช้ตารางทั้งหมด
What is the average height with the Highest mountain of hochgall?It is not neccessary to use all the tables.
 table_name_54:  (height__m_ [ INTEGER ] highest_mountain [ VARCHAR) ]
SELECT AVG(height__m_) FROM table_name_54 WHERE highest_mountain = "hochgall"