From 00624f60c3dd99a2af9201f266d55468e7fab46d Mon Sep 17 00:00:00 2001
From: Jim Martens <jim1@live.de>
Date: Sun, 29 Jun 2014 15:08:26 +0200
Subject: [PATCH] ID-9: Umlautproblem im Header behoben

---
 id/blatt9/zettel-09-martens.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/id/blatt9/zettel-09-martens.tex b/id/blatt9/zettel-09-martens.tex
index 3a2f01a..9333da9 100644
--- a/id/blatt9/zettel-09-martens.tex
+++ b/id/blatt9/zettel-09-martens.tex
@@ -2,7 +2,7 @@
 
 % Hier die Nummer des Blatts und Autoren angeben.
 \newcommand{\blatt}{9}
-\newcommand{\autor}{Florian Böhm, Christopher Gawehn, Ulrike Geries, Jim Martens}
+\newcommand{\autor}{Florian B\"ohm, Christopher Gawehn, Ulrike Geries, Jim Martens}
 
 \usepackage{hci}
 \usepackage[utf8]{inputenc}