by joachim: Added titles and colours to graph edges.