Ve kterých případech jsou pracovní soudy příslušné pro spory vzniklé z pracovního poměru horníků? - Kotek, Josef, 1894-1962