Taschenbuch für den Bergbau (Fachbuchverlag, 1953)