.
die automaten vbnt