17. mai er en spesiell høytid i Norge: hvordan ble den til og hvordan ...