Artifacts

In the following, we make those artifacts available that are part of published research papers and which may be useful for other researchers. These artifacts are generally only of interest in the respective context.