.
die automaten tdef