Beschäftigung und Produktivität im österreichischen Bergbau von 1913 bis 1950