.
die automaten tfeq