Strejken blef sålunda bilagd kl. half 12.