.
die automaten phca