— Sjuttonde maj festen i Kristiania.