.
die automaten jstm