beds = this.getBedListe();
it1 = beds.iterator();
while (it1.hasNext()) {
trans = it1.next();
Condition bedE = trans.getCond().simplify();
trans.setBedingung(bedE.formatted());
}
// Unerreichbare Knoten löschen.
it2 = this.getKnList().iterator();
while (it2.hasNext()) {