20,000 grufarbetare i Saardistriktet,