Who was in third place in the 1980 season?
CREATE TABLE "professional_league_1951_present" (
  "season" real,
  "champion" text,
  "count" real,
  "runners_up" text,
  "third_place" text,
  "top_scorer" text,
  "top_scorers_club" text,
  "goals" text
);
SELECT "third_place" FROM "professional_league_1951_present" WHERE "season"=1980;