“ Syttende maj “ i Norge.