.
die automaten irzq