örlogsflaggans användning i Norge.