Loading of the nfa now possible from an xml file.