diff --git a/doc/zimplug.tex b/doc/zimplug.tex
index 2f0bf14..1e73540 100644
--- a/doc/zimplug.tex
+++ b/doc/zimplug.tex
@@ -861,7 +861,7 @@ \subsubsection{Examples}
 \smallskip
 \noindent\verb|nodes.txt:|\\
 \verb|   Hamburg            | $\rightarrow$ $<$"Hamburg"$>$\\
-\verb|   M�nchen            | $\rightarrow$ $<$"M�nchen"$>$\\
+\verb|   München            | $\rightarrow$ $<$"München"$>$\\
 \verb|   Berlin             | $\rightarrow$ $<$"Berlin"$>$\\
 
 \smallskip
@@ -881,7 +881,7 @@ \subsubsection{Examples}
 \noindent\verb|cost.txt:|\\
 \verb|   # Name Price       | $\rightarrow$ skip\\
 \verb|   Hamburg 1000       | $\rightarrow$ $<$"Hamburg"$>$ 1000\\
-\verb|   M�nchen 1200       | $\rightarrow$ $<$"M�nchen"$>$ 1200\\
+\verb|   München 1200       | $\rightarrow$ $<$"München"$>$ 1200\\
 \verb|   Berlin  1400       | $\rightarrow$ $<$"Berlin"$>$ 1400\\
 
 \smallskip
@@ -1099,7 +1099,7 @@ \subsubsection{Examples}
 var z[<a,b> in C] integer
       >= a * 10 <= if b <= 3 then p[b] else infinity end;
 var w implicit binary;
-var t[<k> in K] integer >= 1 <= 3 * k priority 50 startval 2 * k;
+var t[k in K] integer >= 1 <= 3 * k startval 2 * k priority 50;
 \end{verbatim}
 }
 
@@ -1504,7 +1504,7 @@ \subsection{The traveling salesman problem}
 % #City        x y
 % "Sylt"       1 1
 % "Flensburg"  3 1
-% "Neum�nster" 2 2
+% "Neumünster" 2 2
 % "Husum"      1 3
 % "Schleswig"  3 3
 % "Ausacker"   2 4