made all point counts in headings small

automata.tex

-\section{Automatenminimierung \hfill 6 Punkte} Gegeben sei der
-abgebildete deterministische Automat, über dem Alphabet $\Sigma =
-\{0,1\}$:
+\section{Automatenminimierung \hfill\small 6 Punkte}
+Gegeben sei der abgebildete deterministische Automat, über dem Alphabet
+$\Sigma = \{0,1\}$:
 \begin{center}
   \begin{tikzpicture}
 	\tikzstyle{vertex}=[circle,draw=black,minimum size=17pt,inner sep=0pt]

korekursion.tex

-\section{Korekursion und Koinduktion \hfill 8 Punkte}
+\section{Korekursion und Koinduktion \hfill\small 8 Punkte}
 \begin{multicols}{2}
 \begin{verbatim}
 codata S a where

strukturell.tex

-\section{Strukturelle Induktion und Folds \hfill 9 Punkte}
+\section{Strukturelle Induktion und Folds \hfill\small 9 Punkte}
 In dieser Aufgabe wird der Grunddatentyp \texttt{char} verwendet. Es
 wird die gewöhnliche Schreibweise \verb!'!\_\verb!'! für \texttt{char}-
 und \verb!"!\_\verb!"! \texttt{String}-Literale benutzt. Definiert Seien

system-f.tex

-\section{System F \hfill 8 Punkte}
+\section{System F \hfill\small 8 Punkte}
 
 In funktionalen Programmiersprachen werden \emph{Maybe} Datentypen
 benutzt um eine Berechnung mit Fehlermöglichkeit zu beschreiben. Dieses

termersetzung.tex

-\section{Polynomordnungen und TES \hfill 9 Punkte}
+\section{Polynomordnungen und TES \hfill\small 9 Punkte}
 Wir definieren ein Termersetzungssystem mit der Signatur $\Sigma$
 bestehend aus einem unärem Operator $\ast(x)$ (geschrieben als
 $x^{\ast}$) und einem binärem, infix Operator $x \vdash y$: