(function() {    var toc =  [{"name":"Übersicht","type":"item","tilePath":"","description":"","url":"operation_log/concept.htm"},{"name":"Für Operationsprotokolle bestimmte Operationen","type":"item","tilePath":"","description":"","url":"operation_log/operations_targeted_for_logging.htm"},{"name":"Operationsprotokolle speichern","type":"item","tilePath":"","description":"","url":"operation_log/save_operation_logs.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();