if (this.holAdj().containsKey(knotenName)) {
it = knotenlisteV.iterator();
while (it.hasNext()) {
knoten = this.holeKnoten(it.next());
this.entferneKante(knoten.holeName(), knotenName);
knoten.entferneNachfolger(this.holeKnoten(knotenName));
knoten.entferneVorgaenger(this.holeKnoten(knotenName));
}
it = knotenlisteN.iterator();
while (it.hasNext()) {
knoten = this.holeKnoten(it.next());