Encoding auf UTF8 und deutsch umgestellt.
Erster Teil nicht deterministischer Automaten