Delete büchi.tex