\begin{titlepage}
\newcommand{\drop}{0.07\textheight}
\begin{center}
\begingroup%
\vfill
{\LARGE\textsc{%
Friedrich-Alexander-Universität\\[2mm]
Erlangen-Nürnberg%
}}\\[\drop]
{%
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm 0mm 0 0mm]{img/kwarc}\\
\textsc{\large KWARC research group}
}
\vfill
\rule{\textwidth}{1pt}\par
\vspace{0.5\baselineskip}
{% maybe \itshape?
\Huge\bfseries TGStyler
\\[1cm]
\large\bfseries
A static analysis tool for optimizing theory graphs
\\[1cm]
\textbf{\large Master Project in Computer Science}
}\\[0.5\baselineskip]
\rule{\textwidth}{1pt}\par
\vfill
{\Large{Michael Banken}\\
%{\large\normalsize{michael.banken@fau.de}}
}
\vfill
\large Advisors:
\vfill
\begin{tabular}{ccc}
    \large
    Dennis Müller\\
    Prof. Dr. Michael Kohlhase
\end{tabular}
\vfill
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm -5mm 0 0mm]{img/fau}
\vfill
{\large Erlangen, \today}
\endgroup
\end{center}
\end{titlepage}

% vim: tw=80 spell spelllang=en nocul