this.setzeDickenFunk(this.farbeA2.getText());
} else if (cmd.equals("Gestrichelt")) {
this.gestrichelt();
} else if (cmd.equals("Neue Spitze")) {
final String neuerName = "Spitze" + this.numNeueSpitzen;
Pfeilspitze spitze = new Pfeilspitze(
this.aktGrph.getGrundPolSpitze(),
neuerName);
this.pfeilAnfang.add(neuerName);
this.pfeilEnde.add(neuerName);