%Sample file for Babel with German
\documentclass{amsart}
\usepackage[german]{babel}
\usepackage[T1]{fontenc}

\begin{document}
\section{H"ullenoperatoren}
Es sei $P$ eine teilweise geordnete Menge. Wir
sagen, dass in $P$ ein \emph{H"ullenoperator}
$\lambda$ erkl"art ist, wenn sich jedem $a \in  P$
ein eindeuting bestimmtes $\lambda(a) \in P$
zuordnen l"a"st, so  dass die folgenden
Bedingungen erf"ullt sind.
\end{document}