CREATE TABLE table_name_93 (runner_up VARCHAR(255), venue VARCHAR(255), year VARCHAR(255))
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"