.
die automaten senv