(function() {    var toc =  [{"name":"Was sind Operationsprotokolle?","type":"book","tilePath":"","key":"toc95"},{"name":"Operationsprotokoll anzeigen","type":"item","tilePath":"","description":"","url":"operation_log/reference.htm"},{"name":"Exportieren von Operationsprotokollen","type":"item","tilePath":"","description":"","url":"operation_log/operation_log_export.htm"},{"name":"Eigenschaften","type":"book","tilePath":"","key":"toc96"},{"name":"Skript steht für Verwendung von Operationsprotokollen zur Verfügung","type":"item","tilePath":"","description":"","url":"operation_log/Script_Available_for_Use_with_Operation_Logs.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();