Table: alps_info
Columns: ave_no
name
country
highest_mountain
height_m

Question: Which country has the Highest mountain of rettlkirchspitze?
SQL: SELECT "country" FROM alps_info WHERE "highest_mountain" = 'rettlkirchspitze'

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