CREATE TABLE table_name_93 (runner_up VARCHAR2, venue VARCHAR2, year VARCHAR2)

Who was the runner-up in 1980 at the Pocking venue?
SELECT runner_up FROM table_name_93 WHERE venue = "pocking" AND year = "1980"
SELECT "runner_up" FROM "table_name_93" WHERE "1980" = "year" AND "pocking" = "venue"