Gives the LF encodings for Timo Lücke's BSc. Thesis at Jacobs University 2014