Dataset: Eventlog from CH0712