Rename 12-protokolle.tex to 13-protokolle.tex