NFA umgebaut, sodass der Automat eine RelationManger hat und nicht jeder
State.