What is the average height with the Highest mountain of hochgall?
CREATE TABLE "alpine_club_classification" (
  "ave_no" text,
  "name" text,
  "country" text,
  "highest_mountain" text,
  "height_m" real
);
SELECT AVG("height_m") FROM "alpine_club_classification" WHERE "highest_mountain"='hochgall';