strejken i Kristiania har ändtligen slutat och det med principalernas seger.