Well toni, I've got a book, called "Giganten der Weltmeere". German book. In that book are some pict's of docked supertankers. Mostly tankers from before 1985, but that was also the time that the biggest tankers ever wer build. I can scan some picts. for you, but still than I don't know if it are the right ones, and that particular you search for..
Regards,
Jeroen,
Rotterdam, The Netherlands.