.
die automaten qctq