Previous development and history in repository
https://git.ps.informatik.uni-kiel.de/theses/2018/2018-ncheng-ba.git