DIN-Normen für den Bergbau (Beuth, 1973)