6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% LLNCS DOCUMENT CLASS -- version 2.16 (15-Apr-2010)

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% Springer Verlag LaTeX2e support for Lecture Notes in Computer Science

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% \CharacterTable

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Digits \0\1\2\3\4\5\6\7\8\9

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%% Exclamation \! Double quote \" Hash (number) \#

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\exercisename{\"Ubung}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\figurename{Abb.}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\keywordname{{\bf Schl\"usselw\"orter:}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\indexname{Index}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%\def\lemmaname{Lemma}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\contriblistname{Mitarbeiter}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\listfigurename{Abbildungsverzeichnis}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\listtablename{Tabellenverzeichnis}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\mailname{{\it Correspondence to\/}:}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\noteaddname{Nachtrag}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\notename{Anmerkung}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\partname{Teil}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%\def\problemname{Problem}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\proofname{Beweis}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\propertyname{Eigenschaft}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%\def\propositionname{Proposition}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\questionname{Frage}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\remarkname{Anmerkung}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\seename{siehe}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\solutionname{L\"osung}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\let\footnotesize\small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\if@custvec

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle#1$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\mbox{\boldmath$\textstyle#1$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\mbox{\boldmath$\scriptstyle#1$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\mbox{\boldmath$\scriptscriptstyle#1$}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\penalty50\hskip1em\null\nobreak\hfil\squareforqed

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\halign{\hfil

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr\gets

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\cr\to\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr\gets

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\cr\to\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\gets\cr\to\cr}}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.2pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip1.2pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip1pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann<\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip0.9pt}=\cr}}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.2pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip1.2pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip1pt}=\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann>\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noalign{\vskip0.9pt}=\cr}}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\halign{\hfil

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1pt}<\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann>\cr\noalign{\vskip-1pt}<\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann>\cr\noalign{\vskip-0.8pt}<\cr}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann>\cr\noalign{\vskip-0.3pt}<\cr}}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbr{{\rm I\!R}} %reelle Zahlen

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbm{{\rm I\!M}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbn{{\rm I\!N}} %natuerliche Zahlen

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbf{{\rm I\!F}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbh{{\rm I\!H}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbk{{\rm I\!K}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbp{{\rm I\!P}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannQ$}\hbox{\raise

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannT$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbs{{\mathchoice

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\displaystyle \rm S$}\hbox{\raise0.5\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\textstyle \rm S$}\hbox{\raise0.5\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptstyle \rm S$}\hbox{\raise0.5\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannto0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\bbbz{{\mathchoice {\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\hbox{$\mathsf\scriptstyle Z\kern-0.3em Z$}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\hbox{$\mathsf\scriptscriptstyle Z\kern-0.2em Z$}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\let\ts\,

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\leftmargini {17\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\leftmargin {\leftmargini}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\leftmarginii {\leftmargini}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\leftmarginiii {\leftmargini}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\leftmarginiv {\leftmargini}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength \labelsep {.5em}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength \labelwidth{\leftmargini}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\addtolength\labelwidth{-\labelsep}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@listI{\leftmargin\leftmargini

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parsep 0\p@ \@plus1\p@ \@minus\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \topsep 8\p@ \@plus2\p@ \@minus4\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \itemsep0\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\let\@listi\@listI

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@listi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@listii {\leftmargin\leftmarginii

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \labelwidth\leftmarginii

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\labelwidth-\labelsep

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \topsep 0\p@ \@plus2\p@ \@minus\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@listiii{\leftmargin\leftmarginiii

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \labelwidth\leftmarginiii

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\labelwidth-\labelsep

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \topsep 0\p@ \@plus\p@\@minus\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parsep \z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \partopsep \p@ \@plus\z@ \@minus\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\labelitemi{\normalfont\bfseries --}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\labelitemii{$\m@th\bullet$}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\arraycolsep{1.4\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setlength\tabcolsep{1.4\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\tableofcontents{\chapter*{\contentsname\@mkboth{{\contentsname}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {{\contentsname}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\authcount##1{\setcounter{auco}{##1}\setcounter{@auth}{1}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\lastand{\ifnum\value{auco}=2\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip{} \andname\

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip \lastandname\

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\and{\stepcounter{@auth}\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\value{@auth}=\value{auco}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \lastand

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip,

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@starttoc{toc}\if@restonecol\twocolumn\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@part#1#2{\addpenalty{\@secpenalty}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \addvspace{2em plus\p@}% % space above part line

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent \z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \rightskip \z@ plus 5em

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \hrule\vskip5pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \large % same size as for a contribution heading

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \bfseries\boldmath % set line in boldface

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leavevmode % TeX command to enter horizontal mode.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann #1\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip5pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \hrule

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip1pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \nobreak % Never break after part entry

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@dotsep{2}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\let\phantomsection=\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\hyperhrefextend{\ifx\hyper@anchor\@undefined\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{}\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\addnumcontentsmark#1#2#3{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\addtocontents{#1}{\protect\contentsline{#2}{\protect\numberline

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\thechapter}#3}{\thepage}\hyperhrefextend}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\addcontentsmark#1#2#3{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\addcontentsmarkwop#1#2#3{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@adcmk[#1]{\ifcase #1 \or

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@gtempa{\addnumcontentsmark}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \or \def\@gtempa{\addcontentsmark}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \or \def\@gtempa{\addcontentsmarkwop}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi\@gtempa{toc}{chapter}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\addtocmark{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\phantomsection

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifnextchar[{\@adcmk}{\@adcmk[3]}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@chapter#1#2{\addpenalty{-\@highpenalty}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent \z@ \rightskip \@tocrmarg

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\rightskip by 0pt plus 2cm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parfillskip -\rightskip \pretolerance=10000

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\large\bfseries\boldmath#1}\ifx0#2\hfil\null

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \nobreak

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@dotsep mu$}\hfill

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \nobreak\hbox to\@pnumwidth{\hss #2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \penalty\@highpenalty \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@title#1#2{\addpenalty{-\@highpenalty}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \addvspace{8pt plus 1pt}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@tempdima \z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent \z@ \rightskip \@tocrmarg

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\rightskip by 0pt plus 2cm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parfillskip -\rightskip \pretolerance=10000

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann #1\nobreak

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@dotsep mu$}\hfill

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \nobreak\hbox to\@pnumwidth{\hss #2}\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \penalty\@highpenalty \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@author#1#2{\addpenalty{\@highpenalty}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@tempdima=15\p@ %\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent \z@ \rightskip \@tocrmarg

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\rightskip by 0pt plus 2cm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \pretolerance=10000

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leavevmode \advance\leftskip\@tempdima %\hskip -\leftskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \textit{#1}\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \penalty\@highpenalty \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\setcounter{tocdepth}{0}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocchpnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsubsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsubsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsubsubsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsubsubsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocparanum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocparatotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\tocsubparanum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocchpnum=\z@ % no chapter numbers

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsecnum=15\p@ % section 88. plus 2.222pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsubsecnum=23\p@ % subsection 88.8 plus 2.222pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsubsubsecnum=27\p@ % subsubsection 88.8.8 plus 1.444pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocparanum=35\p@ % paragraph 88.8.8.8 plus 1.666pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsubparanum=43\p@ % subparagraph 88.8.8.8.8 plus 1.888pt

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\calctocindent{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsectotal=\tocchpnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\advance\tocsectotal by\tocsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsubsectotal=\tocsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\advance\tocsubsectotal by\tocsubsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocsubsubsectotal=\tocsubsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\advance\tocsubsubsectotal by\tocsubsubsecnum

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\tocparatotal=\tocsubsubsectotal

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\advance\tocparatotal by\tocparanum}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\calctocindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi\section*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@starttoc{lof}\if@restonecol\twocolumn\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\l@figure{\@dottedtocline{1}{0em}{1.5em}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi\section*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@starttoc{lot}\if@restonecol\twocolumn\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\let\l@table\l@figure

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\listoffigures{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \section*{\listfigurename

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@mkboth{\listfigurename}{\listfigurename}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@starttoc{lof}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann }

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\listoftables{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \section*{\listtablename

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@mkboth{\listtablename}{\listtablename}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@starttoc{lot}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann }

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\ifx\oribibl\undefined

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\ifx\citeauthoryear\undefined

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewenvironment{thebibliography}[1]

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\section*{\refname}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\@biblabel##1{##1.}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \list{\@biblabel{\@arabic\c@enumiv}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\settowidth\labelwidth{\@biblabel{#1}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leftmargin\labelwidth

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\leftmargin\labelsep

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@openbib

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\leftmargin\bibindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \itemindent -\bibindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \listparindent \itemindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parsep \z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \usecounter{enumiv}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \let\p@enumiv\@empty

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\theenumiv{\@arabic\c@enumiv}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@openbib

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\newblock{\par}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \sloppy\clubpenalty4000\widowpenalty4000%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \sfcode`\.=\@m}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\def\@noitemerr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@latex@warning{Empty `thebibliography' environment}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endlist}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\let\protect\noexpand\immediate

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newcount\@tempcntc

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@ifundefined

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ?}\@warning

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {Citation `\@citeb' on page \thepage \space undefined}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\@tempcntb\@ne

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\@tempcntb=\@tempcntc

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else\advance\@tempcntb\m@ne\@citeo

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@citea\def\@citea{,\,\hskip\z@skip}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\@citea{--}\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewenvironment{thebibliography}[1]

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\section*{\refname}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \list{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\settowidth\labelwidth{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leftmargin\parindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \itemindent=-\parindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \labelsep=\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@openbib

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\leftmargin\bibindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \itemindent -\bibindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \listparindent \itemindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parsep \z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \usecounter{enumiv}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \let\p@enumiv\@empty

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\theenumiv{}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@openbib

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\newblock{\par}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \sloppy\clubpenalty4000\widowpenalty4000%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \sfcode`\.=\@m}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\def\@noitemerr

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@latex@warning{Empty `thebibliography' environment}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endlist}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\@cite#1{#1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\@lbibitem[#1]#2{\item[]\if@filesw

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\def\protect##1{\string ##1\space}\immediate

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@cons\@openbib@code{\noexpand\small}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\idxquad{\hskip 10\p@}% space that divides entry from number

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@idxitem{\par\hangindent 10\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\subitem{\par\setbox0=\hbox{--\enspace}% second order

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \noindent\hangindent\wd0\box0}% index entry

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \noindent\hangindent\wd0\box0}% order index entry

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewenvironment{theindex}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@mkboth{\indexname}{\indexname}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \thispagestyle{empty}\parindent\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parskip\z@ \@plus .3\p@\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \let\item\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\,{\relax\ifmmode\mskip\thinmuskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else\hskip0.2em\ignorespaces\fi}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \normalfont\small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begin{multicols}{2}[\@makeschapterhead{\indexname}]%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann }

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\end{multicols}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\footnoterule{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \kern-3\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \hrule\@width 2truecm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \kern2.6\p@}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \newdimen\fnindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fnindent1em

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\long\def\@makefntext#1{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent \fnindent%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \leftskip \fnindent%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \noindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \llap{\hb@xt@1em{\hss\@makefnmark\ }}\ignorespaces#1}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\long\def\@makecaption#1#2{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip\abovecaptionskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \sbox\@tempboxa{{\bfseries #1.} #2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifdim \wd\@tempboxa >\hsize

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\bfseries #1.} #2\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global \@minipagefalse

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip\belowcaptionskip}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\fps@figure{htbp}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\fnum@figure{\figurename\thinspace\thefigure}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def \@floatboxreset {%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \reset@font

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \small

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@setnobreak

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@setminipage

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\fps@table{htbp}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\fnum@table{\tablename~\thetable}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewenvironment{table}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\setlength\abovecaptionskip{0\p@}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setlength\belowcaptionskip{10\p@}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@float{table}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\end@float}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewenvironment{table*}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\setlength\abovecaptionskip{0\p@}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setlength\belowcaptionskip{10\p@}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@dblfloat{table}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\end@dblfloat}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ext@#1\endcsname}{#1}{\protect\numberline{\csname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann the#1\endcsname}{\ignorespaces #2}}\begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@parboxrestore

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% LaTeX does not provide a command to enter the authors institute

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% addresses. The \institute command is defined here.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newcounter{@inst}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newcounter{@auth}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newcounter{auco}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newdimen\instindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newbox\authrun

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newtoks\authorrunning

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newtoks\tocauthor

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newbox\titrun

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newtoks\titlerunning

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\newtoks\toctitle

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\clearheadinfo{\gdef\@author{No Author Given}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \gdef\@title{No Title Given}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \gdef\@subtitle{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \gdef\@institute{No Institute Given}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \gdef\@thanks{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\titlerunning={}\global\authorrunning={}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\toctitle={}\global\tocauthor={}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\institute#1{\gdef\@institute{#1}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\institutename{\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parskip=\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent=\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{@inst}{1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\and{\par\stepcounter{@inst}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \noindent$^{\the@inst}$\enspace\ignorespaces}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setbox0=\vbox{\def\thanks##1{}\@institute}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\c@@inst=1\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \gdef\fnnstart{0}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \xdef\fnnstart{\c@@inst}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{@inst}{1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \noindent$^{\the@inst}$\enspace

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ignorespaces

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@institute\par

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endgroup}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@fnsymbol#1{\ensuremath{\ifcase#1\or\star\or{\star\star}\or

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\star\star\star}\or \dagger\or \ddagger\or

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \or \ddagger\ddagger \else\@ctrerr\fi}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\inst#1{\unskip$^{#1}$}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\fnmsep{\unskip$^,$}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\email#1{{\tt#1}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\AtBeginDocument{\@ifundefined{url}{\def\url#1{#1}}{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifpackageloaded{babel}{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann}{\switcht@@therlang}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\providecommand{\keywords}[1]{\par\addvspace\baselineskip

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noindent\keywordname\enspace\ignorespaces#1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\homedir{\~{ }}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\subtitle#1{\gdef\@subtitle{#1}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\clearheadinfo

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% to avoid hyperref warnings

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\providecommand*{\toclevel@author}{999}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%% to make title-entry parent of section-entries

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\providecommand*{\toclevel@title}{0}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\renewcommand\maketitle{\newpage

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\phantomsection

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \refstepcounter{chapter}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \stepcounter{section}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{section}{0}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{subsection}{0}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{figure}{0}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{table}{0}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{equation}{0}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{footnote}{0}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begingroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \parindent=\z@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \renewcommand\thefootnote{\@fnsymbol\c@footnote}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@twocolumn

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum \col@number=\@ne

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@maketitle

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \twocolumn[\@maketitle]%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \newpage

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@topnum\z@ % Prevents figures from going at top of page.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@maketitle

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \thispagestyle{empty}\@thanks

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\\{\unskip\ \ignorespaces}\def\inst##1{\unskip{}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\thanks##1{\unskip{}}\def\fnmsep{\unskip}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \instindent=\hsize

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \advance\instindent by-\headlineindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \addcontentsline{toc}{title}{\the\toctitle}\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@runhead

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if!\the\titlerunning!\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \edef\@title{\the\titlerunning}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\setbox\titrun=\hbox{\small\rm\unboldmath\ignorespaces\@title}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifdim\wd\titrun>\instindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \typeout{Title too long for running head. Please supply}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \typeout{a shorter form with \string\titlerunning\space prior to

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \string\maketitle}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\setbox\titrun=\hbox{\small\rm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Title Suppressed Due to Excessive Length}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \xdef\@title{\copy\titrun}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if!\the\tocauthor!\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\def\and{\noexpand\protect\noexpand\and}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \protected@xdef\toc@uthor{\@author}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\\{\noexpand\protect\noexpand\newline}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \protected@xdef\scratch{\the\tocauthor}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \protected@xdef\toc@uthor{\scratch}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \addtocontents{toc}{\noexpand\protect\noexpand\authcount{\the\c@auco}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \addcontentsline{toc}{author}{\toc@uthor}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@runhead

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if!\the\authorrunning!

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \value{@inst}=\value{@auth}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{@auth}{1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \edef\@author{\the\authorrunning}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\setbox\authrun=\hbox{\small\unboldmath\@author\unskip}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifdim\wd\authrun>\instindent

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \typeout{Names of authors too long for running head. Please supply}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \typeout{a shorter form with \string\authorrunning\space prior to

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \string\maketitle}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\setbox\authrun=\hbox{\small\rm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Authors Suppressed Due to Excessive Length}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \xdef\@author{\copy\authrun}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \markboth{\@author}{\@title}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \endgroup

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{footnote}{\fnnstart}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \clearheadinfo}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@maketitle{\newpage

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \markboth{}{}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\lastand{\ifnum\value{@inst}=2\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip{} \andname\

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip \lastandname\

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\and{\stepcounter{@auth}\relax

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ifnum\value{@auth}=\value{@inst}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \lastand

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \unskip,

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \begin{center}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \let\newline\\

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\Large \bfseries\boldmath

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \pretolerance=10000

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@title \par}\vskip .8cm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\if!\@subtitle!\else {\large \bfseries\boldmath

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \vskip -.65cm

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \pretolerance=10000

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@subtitle \par}\vskip .8cm\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setbox0=\vbox{\setcounter{@auth}{1}\def\and{\stepcounter{@auth}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\thanks##1{}\@author}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\value{@inst}=\value{@auth}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\value{auco}=\value{@auth}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \setcounter{@auth}{1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann{\lineskip .5em

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\noindent\ignorespaces

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@author\vskip.35cm}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\small\institutename}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \end{center}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann }

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% definition of the "\spnewtheorem" command.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% Usage:

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% or \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% or \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% New is "cap_font" and "body_font". It stands for

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% fontdefinition of the caption and the text itself.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% "\spnewtheorem*" gives a theorem without number.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% A defined spnewthoerem environment is used as described

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% by Lamport.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@thmcountersep{}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@thmcounterend{.}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% definition of \spnewtheorem with number

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spnthm#1#2{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@definecounter{#1}\@addtoreset{#1}{#3}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname #1name\endcsname{#2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{end#1}{\@endtheorem}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\@definecounter{#1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname #1name\endcsname{#2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{end#1}{\@endtheorem}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spothm#1[#2]#3#4#5{%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\expandafter\@ifdefinable\csname #1\endcsname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\newaliascnt{#1}{#2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname #1name\endcsname{#3}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{end#1}{\@endtheorem}}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\refstepcounter{#1}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann the#1\endcsname}{#5}{#3}{#4}\ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spbegintheorem#1#2#3#4{\trivlist

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@spopargbegintheorem#1#2#3#4#5{\trivlist

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann% definition of \spnewtheorem* without number

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@sthm#1#2{\@Ynthm{#1}{#2}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \expandafter\xdef\csname #1name\endcsname{#2}%

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \global\@namedef{end#1}{\@endtheorem}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {#4}{#2}{#3}\ignorespaces}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Begintheorem#1#2#3{#3\trivlist

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \item[\hskip\labelsep{#2#1\@thmcounterend}]}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\def\@Opargbegintheorem#1#2#3#4{#4\trivlist

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\if@envcntsect

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\@thmcountersep{.}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@envcntreset

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@addtoreset{theorem}{section}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \@addtoreset{theorem}{chapter}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\fi

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann%definition of divers theorem environments

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\if@envcntsame % alle Umgebungen wie Theorem.

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann\else % alle Umgebungen mit eigenem Zaehler

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@envcntsect % mit section numeriert

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}}

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \else % nicht mit section numeriert

6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \if@envcntreset