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