att örn konungen kommit till Kristiania , ] . ,.