Everything that has to be ready for the Lund workshop.

See also https://task.inf.tu-dresden.de/project/stdresden/us/807