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