grufarbetare i distrikten Horn , Bochum och Battenscheidt.