vid alla kolgrufvorna och strejken anses slutad.