Table schema:
CREATE TABLE table_name_54 (height__m_ INTEGER, highest_mountain VARCHAR)

Question: What is the average height with the Highest mountain of hochgall?
SQL: SELECT AVG(height__m_) FROM table_name_54 WHERE highest_mountain = "hochgall"