Table schema:
CREATE TABLE table_name_93 (runner_up VARCHAR, venue VARCHAR, year VARCHAR)

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