Thanks, I was sure I had read somewhere how to retrieve the ISO from that CD.

In any case, marhleet, I don't have it anymore, no. And not everywhere in the world is downloading so fast; on our campus no torrent is available.
Would have been good to have a simple and rather safe method.

Uwe