— Den sjuttonde Maj firades annandag pingst i Kristiania medelst detsedvanliga