\documentclass[UKenglish,aspectratio=169,logotop]{beamer}
\usetheme{HFU}
\usepackage{csquotes}       % Quotation marks
\usepackage{microtype}      % Improved typography
\usepackage{amssymb}        % Mathematical symbols
\usepackage{mathtools}      % Mathematical symbols
\usepackage[absolute, overlay]{textpos} % Arbitrary placement
\setlength{\TPHorizModule}{\paperwidth} % Textpos units
\setlength{\TPVertModule}{\paperheight} % Textpos units
\usepackage{tikz}
\usepackage{pgf}
\usetikzlibrary{overlay-beamer-styles}  % Overlay effects for TikZ
\usetikzlibrary{positioning}            % Positioning of nodes for TikZ
\usetikzlibrary{arrows.meta}            % more arrow styles
\author{Valentin Weber}
\title{Beamer example}
\subtitle{Usage of the theme \texttt{HFU}}
%\date{DD.MM.YYYY}   % this is just a placeholder, use whatever format floats your boat
%\customerlogo{path-to-image}   % this is just a placeholder. Appears on the right side of the title page.
\begin{document}
\section{Overview}
% Use
%
%     \begin{frame}[allowframebreaks]{Title}
%
% if the TOC does not fit one frame.
\begin{frame}{Table of contents}
    \tableofcontents
\end{frame}
\section{Mathematics}
\subsection{Theorem}
\begin{frame}{Mathematics}
    \begin{theorem}[Fermat's little theorem]
        For a prime~\(p\) and \(a \in \mathbb{Z}\) it holds that \(a^p \equiv a \pmod{p}\).
    \end{theorem}
    \begin{proof}
        The invertible elements in a field form a group under multiplication.
        In particular, the elements
        \begin{equation*}
            1, 2, \ldots, p - 1 \in \mathbb{Z}_p
        \end{equation*}
        form a group under multiplication modulo~\(p\).
        This is a group of order \(p - 1\).
        For \(a \in \mathbb{Z}_p\) and \(a \neq 0\) we thus get \(a^{p-1} = 1 \in \mathbb{Z}_p\).
        The claim follows.
    \end{proof}
\end{frame}
\subsection{Example}
\begin{frame}{Mathematics}
    \begin{example}
        The function \(\phi \colon \mathbb{R} \to \mathbb{R}\) given by \(\phi(x) = 2x\) is continuous at the point \(x = \alpha\),
        because if \(\epsilon > 0\) and \(x \in \mathbb{R}\) is such that \(\lvert x - \alpha \rvert < \delta = \frac{\epsilon}{2}\),
        then
        \begin{equation*}
            \lvert \phi(x) - \phi(\alpha)\rvert = 2\lvert x - \alpha \rvert < 2\delta = \epsilon.
        \end{equation*}
    \end{example}
\end{frame}
\section{Highlighting}
\SectionFrame
\begin{frame}{Highlighting}
    Sometimes it is useful to \alert{highlight} certain words in the text.
    \begin{alertblock}{Important message}
        If a lot of text should be \alert{highlighted}, it is a good idea to put it in a box.
    \end{alertblock}
    It is easy to match the \structure{colour theme}.
\end{frame}
\section{Lists}
\begin{frame}{Lists}
    \begin{itemize}
        \item
        Bullet lists are marked with a red box.
    \end{itemize}
    \begin{enumerate}
        \item
        \label{enum:item}
        Numbered lists are marked with a white number inside a red box.
    \end{enumerate}
    \begin{description}
        \item[Description] highlights important words with red text.
    \end{description}
    Items in numbered lists like \enumref{enum:item} can be referenced with a red box.
    \begin{example}
        \begin{itemize}
            \item
            Lists change colour after the environment.
        \end{itemize}
    \end{example}
    \vspace{2ex}
    \ConclusionArrow{Key messages or conclusions can be highlighted by using an arrow}
\end{frame}
\section{Effects}
\begin{frame}{Effects}
    \begin{columns}[onlytextwidth]
        \begin{column}{0.49\textwidth}
            \begin{enumerate}[<+-|alert@+>]
                \item
                Effects that control
                \item
                when text is displayed
                \item
                are specified with <> and a list of slides.
            \end{enumerate}
            \begin{theorem}<2>
                This theorem is only visible on slide number 2.
            \end{theorem}
        \end{column}
        \begin{column}{0.49\textwidth}
            Use \textbf<2->{textblock} for arbitrary placement of objects.
            \pause
            \medskip
            It creates a box
            with the specified width (here in a percentage of the slide's width)
            and upper left corner at the specified coordinate (x, y)
            (here x is a percentage of width and y a percentage of height).
        \end{column}
    \end{columns}
    
    \begin{textblock}{0.3}(0.45, 0.55)
        \includegraphics<1, 3>[width = \textwidth]{HFU-images/Logo_HFU_sw.pdf}
    \end{textblock}
\end{frame}
\section{Diskussion und Fragen}
\SectionFrameAlt
\section{References}
\begin{frame}[allowframebreaks]{References}
    \begin{thebibliography}{}
        % Article is the default.
        \setbeamertemplate{bibliography item}[book]
        \bibitem{Hartshorne1977}
        Hartshorne, R.
        \newblock \emph{Algebraic Geometry}.
        \newblock Springer-Verlag, 1977.
        \setbeamertemplate{bibliography item}[article]
        \bibitem{Helso2020}
        Helsø, M.
        \newblock \enquote{Rational quartic symmetroids}.
        \newblock \emph{Adv. Geom.}, 20(1):71--89, 2020.
        \setbeamertemplate{bibliography item}[online]
        \bibitem{HR2018}
        Helsø, M.\ and Ranestad, K.
        \newblock \emph{Rational quartic spectrahedra}, 2018.
        \newblock \url{https://arxiv.org/abs/1810.11235}
        \setbeamertemplate{bibliography item}[triangle]
        \bibitem{AM1969}
        Atiyah, M.\ and Macdonald, I.
        \newblock \emph{Introduction to commutative algebra}.
        \newblock Addison-Wesley Publishing Co., Reading, Mass.-London-Don
        Mills, Ont., 1969
        \setbeamertemplate{bibliography item}[text]
        \bibitem{Artin1966}
        Artin, M.
        \newblock \enquote{On isolated rational singularities of surfaces}.
        \newblock \emph{Amer. J. Math.}, 80(1):129--136, 1966.
    \end{thebibliography}
\end{frame}
\end{document}