Die Mineralölindustrie in der Bundesrepublik Deutschland (1972)