$ROB_TIMER

Beschreibung $ROB_TIMER zur Zeitmessung verwenden.