FP
Merge branch 'stirner' of https://github.com/jankhg/lectures into stirner