State Machine: spike for persisting a state machine - last active states (history states) can now be saved and loaded, too. (exceptional cases are not yet covered).