DFA hinzugefügt