.
die automaten uqlc