Erze, Erdöl, Salze. Nichtkohlen Bergbau in der Bundesrepublik Deutschland (Industriegewerkschaft Bergbau und Energie, 1964)