\documentclass[compress, 9pt, german, t]{beamer}
\usepackage{etex}

\usepackage[ngerman]{babel}
\uselanguage{German}
\languagepath{German}

\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

\usepackage{arev}
\usepackage{mathpazo}
\usepackage{microtype}

\usepackage{url}
\usepackage{listings}
\usepackage{xcolor}
\usepackage{tabu}
\usepackage{tikz}
\usepackage{pgfplots}
\pgfplotsset{compat=1.8}
\usetikzlibrary{automata}
\usetikzlibrary{calc}
\usetikzlibrary{shapes}
\usetikzlibrary{positioning}
\usetikzlibrary{chains}
\usetikzlibrary{fit}

\usepackage{amsmath}
\usepackage{mathdots}
\usepackage{mathtools}
\mathtoolsset{showonlyrefs,showmanualtags}
\usepackage{mathrsfs}
\usepackage{csquotes}
\usepackage{wasysym}

\usepackage[noend]{algpseudocode}
% Proof trees
\usepackage{bussproofs}

\usepackage{beamerthemeLEA2}

\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Prob}{\mathrm{P}}
\newcommand{\Oh}{\mathcal{O}}

\newcommand{\true}{\mathrm{true}}
\newcommand{\false}{\mathrm{false}}

\newcommand{\abs}[1]{\left\vert #1 \right\vert}
\newcommand{\powerset}[1]{\mathcal{P}\left( #1 \right)}
\newcommand{\setnot}[1]{\overline{#1}}
\newcommand{\setsymdiff}{\,\triangle\,}

\newcommand{\rel}[1]{\,\mathrm{#1}\,}
\DeclareRobustCommand{\stirlingone}{\genfrac{[}{]}{0pt}{}}
\DeclareRobustCommand{\stirlingtwo}{\genfrac\{\}{0pt}{}}

\newcommand{\defeq}{\coloneqq} %Mathtools already defines this

\tikzstyle{edge} = [draw,very thick,->,>=latex]
\tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10]
\tikzstyle{every edge} = [edge]
\tikzstyle{every state} = [pretty]
\tikzstyle{automaton} = [shorten >=1pt, node distance = 3cm, auto, bend angle=20, initial text=]
\tikzstyle{small} = [every node/.style={scale=0.5}, baseline=(current bounding box.north), font=\LARGE]