— I Norge firade man i tisdage — den 17:de maj—