Timer abstellen
[IN:DELETE_TIMER [SL:METHOD_TIMER Timer ] ]
{"tokens":["Timer","abstellen"],"tokenSpans":[{"start":0,"length":5},{"start":6,"length":9}]}
Timer abstellen
[IN:DELETE_TIMER [SL:METHOD_TIMER Timer ] ]
{"tokens":["Timer","abstellen"],"tokenSpans":[{"start":0,"length":5},{"start":6,"length":9}]}