user: Question: What is the average height with the Highest mountain of Hochgall?
Columns: ['AVE- No.', 'Name', 'Country', 'Highest mountain', 'Height (m)']
Types: ['text', 'text', 'text', 'text', 'real']
Sample row: ['25', 'Rätikon', 'Switzerland Austria Liechtenstein', 'Schesaplana', 2964.0]
SQL:

assistant: SELECT AVG("Height (m)") FROM "Table" WHERE "Highest mountain" = 'Hochgall';