Rename Kravspec06.tex to sensormodul.tex