CREATE TABLE table_name_54 (height__m_ INTEGER, highest_mountain VARCHAR(255))
What is the average height with the Highest mountain of hochgall?
    
SQL: SELECT AVG(height__m_) FROM table_name_54 WHERE highest_mountain = "hochgall"