Merge branch 'artifact-evaluation' of git-st.inf.tu-dresden.de:stgroup/trainbenchmark into artifact-evaluation