Delete leiden.tex