$pdf_mode = 1;
@default_files = ('l2kurz');
$pdflatex = 'pdflatex -synctex=1 %O %S';