Taschenbuch für den Bergmann - Leithold, Gerhard (1962)