.
die automaten qtkw