— ■ Den sjuttonde Maj högtidligbölls i Kristianiapä