https://9dok.net/document/y6em3ev7-ludwig-maximilians-universit-unchen-institut-informatik-hennicker-klarl.html