num1: use \texttt instead of \verb
gitignore: dvi dateien