strejken afslutad och en skiljedom derur onödig.