arbeiten:db-automaten-simulator