Texten till Norges nationalsång

Sjuttonde maj! Norges nationaldag! Vår sportreporter Erik "Jokke" Lundin var jublande glad efter att sett detta: