Fix Lambda-Term in levelspecification.tex