CREATE TABLE table_80042 ("Rank" FLOAT, "Population" FLOAT, "Name" TEXT, "Former Name" TEXT, "Municipality" TEXT)

Who has a former name of nordpr ven?
SELECT "Name" FROM table_80042 WHERE "Former Name" = 'nordprøven'
SELECT "Name" FROM "table_80042" WHERE "Former Name" = 'nordprøven'