May 17, Norway’s National Day (Syttende mai), seems a good occasion to introduce two of its treasures—and a new export. Meet ...