Ja, Citi Mining ist richtig. Habe es danach auf Youtube auch unter diesem Namen gefunden. Aber zu meiner Verteidigung (so hieß es damals in der CBS):
http://kultcds.com/HeftCovers/cbs/cbs200112.jpg