Er det greit med andre flagg enn det norske på 17. mai?