.
die automaten ddeq