test zerlege() und Substitution() hinzugefügt