fix typo

main.tex

@@ -160,7 +160,7 @@ Betrachten wir voerst nur die nichtlinearen S-Boxen von
 Substitutions-Permutations-Netzwerken.  Eine S-Box ist eine Abbildung
 \(S: \GF_2^s \to \GF_2^s\)\footnote{
     Meist ist hierbei \(s = 8, 16\).  Es gibt aber auch S-Boxen die
-    unterschiedlich viele Input wie Output-Bits habenk im Beispiel von DES
+    unterschiedlich viele Input wie Output-Bits haben im Beispiel von DES
     \(S: \GF_2^6 \to \GF_2^4\).
 }.  Wir betrachten also die linearen Zusammenhänge zwischen dem Input \(x\) und
 dem output \(S(x)\) und suchen lineare Relationen.