.
die automaten pgmo