>I would like to add an additional question: > Is there e.g something like a dot to html converter aavialable? I've read about parsing the .dot file using grep or awk. I have to search it again. Wolfgang