Some bug fixes and improvements:

* the timestamp matcher recognizes the TIME-NUMOFFSET
* the SD-ELEMENTs are also highlighted