automaten.tex 1.9 KB