Fixed some typos in folien.tex