This folder contains case studies from
Benedikt Schmidt's Ph.D. thesis.
The remaining case studies from the thesis
can be found in the "csf12" folder.