Optionen des GraphViewers wie Einstellen der Farben, Exportieren der Graphdarstellung als Grafik usw.