.
die automaten wmeq