hade förflutit deu 20 juni sedan konung Oscar I gaf Norge egen örlogsflagg.