strejka öfver 20,000 arbetare i distriktet Dortmund.