17:de Maj har firats i Kristiania med mer än wanlig högtidlighet.