Slut på grufarbetarstrejken Westfalen.