17 maj-festen i Kristiania.