Comment by ralfj

The long answer to this question can be found in https://research.ralfj.de/thesis.html. :)