Rename Kravspec05.tex to 05Armmodul.tex