Hen 17 Maj är en fridag i Kristiania,