Masstrejken bland grufvarbetarne Westfalen kan nu anses varaafslutad