Case ID detection based on time series data -- the mining use case