Instruct: What is the average height with the Highest mountain of hochgall?
Output: SELECT AVG Height (m) FROM table WHERE Highest mountain = hochgall