CREATE TABLE climber (climber_id DECIMAL, name TEXT, country TEXT, time TEXT, points DECIMAL, mountain_id DECIMAL)
CREATE TABLE mountain (mountain_id DECIMAL, name TEXT, height DECIMAL, prominence DECIMAL, range TEXT, country TEXT)

What are the different names of mountains ascended by climbers from the country of West Germany?
SELECT DISTINCT T2.name FROM climber AS T1 JOIN mountain AS T2 ON T1.mountain_id = T2.mountain_id WHERE T1.country = "West Germany"
SELECT DISTINCT "T2"."name" FROM "climber" AS "T1" JOIN "mountain" AS "T2" ON "T1"."mountain_id" = "T2"."mountain_id" WHERE "T1"."country" = "West Germany"