Ändere den 10er-Timer auf 15
[IN:UPDATE_TIMER [SL:DATE_TIME den 10er ] [SL:METHOD_TIMER Timer ] [SL:DATE_TIME auf 15 ] ]
{"tokens":["Ändere","den","10er","-","Timer","auf","15"],"tokenSpans":[{"start":0,"length":7},{"start":8,"length":3},{"start":12,"length":4},{"start":16,"length":1},{"start":17,"length":5},{"start":23,"length":3},{"start":27,"length":2}]}
Ändere den 10er-Timer auf 15
[IN:UPDATE_TIMER [SL:DATE_TIME den 10er ] [SL:METHOD_TIMER Timer ] [SL:DATE_TIME auf 15 ] ]
{"tokens":["Ändere","den","10er","-","Timer","auf","15"],"tokenSpans":[{"start":0,"length":7},{"start":8,"length":3},{"start":12,"length":4},{"start":16,"length":1},{"start":17,"length":5},{"start":23,"length":3},{"start":27,"length":2}]}