.
die automaten eaeq