"Zustandsgraph" Englisch