24 700 to jest ogół pracowników grupy kapitałowej? Czy tylko kopalń JSW? Czy pracownicy firmy SiG są w tej grupie?