.
die automaten srcd