DEN TIMER NEUSTARTEN
[IN:RESTART_TIMER [SL:METHOD_TIMER TIMER ] ]
{"tokens":["DEN","TIMER","NEUSTARTEN"],"tokenSpans":[{"start":0,"length":3},{"start":4,"length":5},{"start":10,"length":10}]}
DEN TIMER NEUSTARTEN
[IN:RESTART_TIMER [SL:METHOD_TIMER TIMER ] ]
{"tokens":["DEN","TIMER","NEUSTARTEN"],"tokenSpans":[{"start":0,"length":3},{"start":4,"length":5},{"start":10,"length":10}]}