Alle Inhalte außer Quellcode sind unter einer Creative Commons-Lizenz lizenziert.
Beschreibung $ROB_TIMER zur Zeitmessung verwenden.
