\section{Testfragen}

\newcommand{\punkte}[1]{\marginpar{\fbox{Punkte: #1}}}
\input{testklaus/cfg}
\input{testklaus/formal2}
\input{testklaus/type2}
\input{testklaus/type}
\input{testklaus/chain2}
\input{testklaus/call}
\input{testklaus/overload}
