Überarbeitet hinsichtlich neuer Erkenntnisse im Bereich BDD