From a7355d845917df5b7159c91cd61427a4b6df70c0 Mon Sep 17 00:00:00 2001
From: TuDatTr <tuan-dat.tran@tudattr.dev>
Date: Sun, 20 Jun 2021 23:10:30 +0200
Subject: [PATCH] Fixed Rechtschreibfehler and added bibliography again

---
 paper.pdf | Bin 407035 -> 407024 bytes
 paper.tex |  16 ++++++++--------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/paper.pdf b/paper.pdf
index 53ff5e0ea624f62d64f9928ec508a2878fcedd0f..1047350f546325094252ab73569e5798ca8e128e 100644
GIT binary patch
delta 6393
zcmai%Ra6uJqlD>Lx>LF&m))h7&Xw*KmJaD|R=T7c0ck|K8|jji?iQ4mlD_|c?%RF2
z58s@5nD?1^Jf^%jru-O=+=TK)5=9V{StyADL_F$WVClu+ZXzYBE#CS&w5F`q-4^X5
z5i`3hG4yUT8o%7E!F>p@ekSdY%Y!$-x%xhc=Z{ZA<~w{6-B-=eevfD6iPA|tp=RBR
zDX#TF1||1U<pKE&r$xgw-j;*i&Bv$jH}2^y$#=(~bzk)|lV9@&SJv&Z4eJhcGd7!t
zhy%`xoNB_gvI-~_-yiq;!&`V9#0b;8#{hj6s_tRv?{GV^`XZ2puO0l5#XdJsbwsL3
zI;;NI>nO@U$G=@^Z{|3$MV9X`wDH_Ydkg#Z2WUc!`MGFes<8e>+U734?zZ}^zfkQj
zk{YY?V`f2v^B4-J%#cmdO{>6j-&Frn#PdKR(_D@})h|=NurHT{ltGj|L0~5zb{*?Z
zQ~&2#yOERne{Msti&~+jRzp_JP`H?~%aN1ycPhq<uJwu|izbb$uTQ~G+1_=UXR4cz
z-mOJ}Mr{11s1$GUmqnBUS5WePdZ&u4cuvs=@494)bRX1!`X5xf%&J4<%R)<o5Cg7x
zks&9KbPorQn~2Dsk1TOY<h^Us&fstSN}R@rpX0grg4NEcZ8vKe?7e0bW%IPMoaLFc
z2p&*v7$?WBVSfEu!-l;Ov*W9o?^O(#+MhFodI<I;e{=G8_g`}s@X?UW=6uIk+dYuV
zGX`@#{!B6*YVKRZM1E6yeBB-siXbmOeJDCjN0)|4ALTLhT=D?t=N+h4=~Qih35rVR
zX5Rfkae=$CmmHs07D8mQZp?YQ^G>aq@<8>6;Egji1-UQs)%3c-t&idm9;<xcNhI-`
zgXX^FWGpP5cQ&XFf_SHqsJK|gc@@gRu#3sx>z1juR9taAGtH~*;+^J8h?^GnV{>W8
zz;l(vB}M(J6(8^4op<EBIB!O7VT?u%QNJKuAZT9@;Zw{=f{sGHZBKq>nLvLPm0(PO
z^JiJ(+;C-!6Zs~7d_GB+(;YJ#7tnkYTP3IT7tOtO>^%dZ*-BZ^!ZoQXLT~O7jn%Y&
z(FIRK?SlFC&K`pH{^Ot?!n3H0833rqOaS}~&E*uFbiA>*b*f&Q!zhA>uS*m@&!RZb
zkPY#pTuYoN6|7|lqpRBx6^&@AJ!AR%ay}S3xe?&{Cf)_|<?>I<`4zvHrlpOHZU!Pk
zEO)fcN@&o$A~>x8JV1xP!sDEP)Rjr={m?fBYM~3LIG^mK6y}={9kJVj>LlRom7mcL
zmd1&B_}J#hnA)Bh7f))Gk%{Sh2J*V%$5oj2IQG}l)>tj+tfm_iJ#`#^K!ste0B6~Y
zD<{Nd9Ovn|zz%-e;&tU4F1`?&^)$Qlv7MFUhsss1xXYU#>EE1*4}?as5>88aN-Efi
zWJ;NBwR&XGUyDEpRQi6^l9!0is2J=J49>!#ozd`*JjXb&#I<9$t?(NlS$R~3F2x(D
zgY{i1Ro9`lf_wAm594^c1ZIpoB*(AYbuVoDb!>-ciy*;nW%jx4E-Fw3ABT7&D=c4A
zkZJVIJHV)l%W5jwwBms14G|?*xEDlLxiD)3$51D#jMWv9h3<u2XR#$}l%mR&SwvA8
zt~^y={CxDs!Q3%X)wX2K1dhucUIPA{goHbF5x>BjI4oPt$M~LZE{+38NSf_7F{y><
z1H&l0S77VL+bBAJ(teGdO&UehC=N<XD4_&Bc=3>6wh&ww4B7dFRojq-iJMa2lN6{k
z$C&lLNyJ0^685=H*pBsiKh4u~z|DaDbbNt_i_Zbvo~Mw=brPOQ(hDwgrVG#7;)Xbw
zrIqIhd&;Qj@UaE5`|PLX!&Xj<^;clX(YA&3Io~YS|A8D@EKia#X$cBS*?%8|K9&(L
z=3f`M;BfW%mS54AkYOM8C}kxGH_l!6k_zjVanvI|)w-AJolA*(^O7zmpPZ!H7;aY{
z)J8ny?aDJ(y2aiKa#{=33sK@~&(mSJZ5@fGO2K<$ph9fO<fvIw*{LPJg>7P=<0U5Z
znEl=5ik2iiB`)T7%um(W$o^8(97cOF`d5n_EuUkCdSpO9o>?5oz<0tvKCW$^)AJg;
zEA=A?S6c^q=!L_z7rhm0^r@Z>VRIa<yq#1gnPba)xU~Y%QJK}cV@we;t{I{(MZjGs
z$^3O@qt;j+kt4loWg5ml?b{i>be;&E+8ENDJzNX2rc*F8$E&Lz3-77AyW6&i)~(bT
zT2beF$`Ty3zq#U+t8wSsPbvC#rn(+t6e|dG7=fley?I`RnL}X?cU#fI{LYV!D2af8
z90p(%5w8pB6!EoC)4joh+bNSuaWlPKTw2P7W2#+)Qh`4wVNV%N_4-kZ*}4?&urS`>
zG9`7Wamqk|jPHO%1|?SYXLG>`*$2zJ79R!Im>(mq()daL)V}5hFeITZcG;1<K<^L>
zY!Y8ppB#^i7J^=W7`;Y3K~JydY#9z*K{qt~=HtVJ?W>u_K$YzvFMh^*>zUa>SuD3t
zN0-Vn*2>lfKH&?4v_EM)vIesa7z&TjI)3I48cO}+K_6#?FvkdP`tnt*ybqonksZNy
z=1n|#|7ozDvpHqULq#Wp7{m`ueUL<W%XC%<iNpfwBXi>1@@g7_`p^w{@Qp--3<JtV
zNcdU5kFy<6*MJ+~$ZMu&x$!;;gANlJ&C3yT^<wsetZ!Z_>{%B|iLSg{rg%r<Zlt3T
zZ*BHBi|h7%DIMa@gyBj9X~0s3aGlO)ixq*=zPlLFUxArzTbS5163-uzTaytzFLe>t
z6Q}LkCh;pg2^|39h|U^tm0YLNp=&|XL2TVhe9^(5KMhY2w$+n#`Jvt=%<hqtCJ`hn
zx`lBZgO?dN7LZ2B<1f#$E&>+`n$>PtR|Izp_o;yrj&?d0YeCsB!kDr;RIKL37!me0
zFL%F^2_s7JvE_k4FS`y^xqQUj6cstfc;CAyT{Qc8vC3ZwMGjd)@Wnj?l>%b~Q*;Uu
zT`EdG3wkf`nChP=&l=#|ii0kI{I+*N)ofpyXveAG>8sQ|QD2{weyKv7IK7(ejpg#!
zp8YW4w($`BZ?>M4ijQ<$HO8H>)KIjiwEZv3wy{^qJ1tcBBl<wiCox14fwZXHvgWPs
ziKDg2Jwb6xhICB8KxJFnSDqq(X4-^@)5?5f?~%-;FoV2s{m8hYdzEI$9QcolYQtC7
z6kH3^ATt_J`2iA=_#NxMO{3*(2L6hE3vYFeQD#K=&$O_{>au#S5_?95GRQOYgv(dX
zZ1xV}i4XZCI%(m%52=VzzfITSF)a888-4A>GANF+9yTB2Y+#$Zw^vfy+X)hieT{~~
z945z@kWsO?!aoraa>2EVDDidw`pR*`irUU15-Djt&XY-Pi49q)92LKf4f<1aTKQE;
zWTZn<9Z9bMj9eZShgP{tQ{+dTBRzfENz^{mX}SeD%HM)?wfYbY%6OV=o$?l4BY&8;
zb*|Fe9j-z@I6wdzoq-w*FD3IU*sx>`NLnC!U*W2<1RQhUjupkK^0qJ<6XPfAHB&4{
z8C(Zy9;;F0iuU$TPOXjPSH1&AlSgyA9sI*MZrY9?QJLpVIDrw#9%gNC{+vmCT1K+l
zUW&@EB<5$&tqw+Xg*5ur9~nX~1*blWY)q7MX19lHM6pz^w@rYT)-|)^FR-|<b|Ap)
zwflme(Sr{Ax@;`}7)J!pd+hr;hC8*0dHl3}nK+&Hn-P&$-_7b696FPU<W{I%j%MyC
z_wx4&n0w4<Qw{FwLb|{O+VR3DuctF;-Zz=@(+@F=c}#?b=O0vlUkEjZTSsprOxW{$
zJn&K*e8XeM__RW*cV0Yse5NTG6{vOh?=z0>ONQl>s&_hB68&Zt$bdMX#GqgwWRpDM
zri;2m{Jwja2FBun&lOu<hpj~@mT-|4`neQ$9a?K>zw03C2SIZ{HxDd^=%1tfWA>%H
zt~v8%??Sv06M~YE=3t8IhV=;18c)+Ev_B`$%?jt2U`#Atf{*V!*bfX{O=J2m6x~Re
zc(y#kL)8QOa|~$T#hZoxDBI2#s3BFKmUQ?P*GXKXli9=*7Q0VD7W4C5hehdHRF+d3
z;4xeTbo>0E+S)grn(#$r);cjS;q7<H^E>|f^hHDm92&9=mKM(Qr_(cEmb9>Y)sYQI
zWC;>x;QJEXaUXxIhxc+K5`W(D-9FApL~-sj_1?ci=Fd`JgHgwZYgt$<t9g}-zI1Se
zL&F{kK@M4auqeC;yB6{4O~g}c0b%1N4*r*IMF9#P>wTl@-gdqCc8KW<J=#m3kD)yC
z7pSU<SwoH-WP5X+io1sr>RC@Aq5kKpFCehC!94A2x%vo}Dtm{o)VssYdwJ&gr=sgl
zrA3SMTA|=BgVL2%b!HJ+Z-Ik>+l^ObjH<`y)({nxU~Gh@vkMZ5>M-yjb|ssbB0j!{
z$Nlsj?5|N%<at@m1b#Nlav5n5VNuKw4%7)#^m=TRCP?;n=3Ug!jWX~Mc`Q(D;CvFC
zSfVP2lw;mtB|1+iL2=9+&4DcTgX^)^bT^>_Wi^!vg9gJ(w2HinS#>|puT&R%H?Cf^
zL1SZFg&1)#CYSup`pUO}ZLG-b#kIs%0~agSys5$J3svOo7?>qRjN-nJ2}64`x^x^%
zrJ^DhT{F0OH#a>J1Qr;XHaclO+L(1J=Ri|32Iw?3oKzTXi6w2PST#x}u88>?N*Kgl
zE6;(M7{-%buqu|BHR-{9LxYH~Q6lwhPXSNvg@|DajWT*%=j0%&S&|oh1U;RQ3TZ&S
z=TC02N)DDA+-4kq@qf{6{c=J}s+d@otGyP^-iHwU#$|%v%C0bB@&iyFoSA%TtB!(2
z5FH(&RRQ3T5gPK^vM=<qNpVZJx;17^1Sb*Sd;6<MCWn7O^_Cs?*Ku|{l+32n*H-`d
z0l^u702cVS$I3p1wp<*q&?7JWAWL`B*0~w5S`7^tSQ7J%h<S&(#lLrO#&!&{SIkv(
zY^-F<JXf<k=Ac$eIV3QVuztvGvFvrE!<|;K<G1bmHx6+I{TQ^g+GXFoVv5M*jD6-9
zBD3C4B?Zne1`Qa5@!yBce}0w%e3(XxM2yX?mWFz!u&3X0i~n4E?=QEA-zg@EdZb`i
z*1x;boFuHc`mU1>gZ+z9$2Z5&l5mfzx~2X3Y7I{DuGAcQJSj->fC^RD%D%u&>OCI(
z=J-N1Wn1udp0DlsS!ZWYLm6?{>S=|)lB#=SDS9ZJ%aTmGcxhk|#<I{uC6og>L$v+&
zc#nxHd!(F_^%`atv|2X3quYq!jb5L(i=l6xIk@u+W~4Tqt|<lk;{{g$Nwzf&&|-K)
zsDEU7_@F!~dLP9%$l5+QnLd1PFATW6<OvdE#Bx<>e}KAa3DqrXp0p+3i?fO3{QdR!
z<Tc|GqY_~4Y~|tUZf)-LU+0nuG($nld^SKKM-c#JO7o*|AW99C6ZZshd(LY|XOW4Q
zTtvma*9;v)BtBx7Mg69QwCrN-!8pgRmf>&-tC4Kz8u~49GAXOlJ}g$P?wfw!pSh^s
zc*#@ACs*x~O5nARJ$3bMlrHf<L&EC6frp1~Evx#K0kvAw-%=L*X<!lM9Rg3Q`62=H
zS|C5-)g1a{#8h|KnKaMciJrG}-q9fRI!CB+Gcq4UqX*G5Xb)a~1stwK*2AsP*U-FX
zbPL`bP`Q$kC@2+a)n??)_kZiT^80h!s;-h2WV_w9THOpY&*V-ETHB?HQcG`|_Wz8Y
ztv^OmbG5yV!P+h~m8NA}NGpr!1MuxYN4@1}7Q3cKJd=!=RzL1oWwiwHm{Zdh8O|tK
z%JFP8QNqf3;;p}t+RPeLCUD?&4O|@HXfaaTCX-P+@;hyQO0S-#Zr!6U%r?U;qkKbt
zZE`g{Z)W8+=`6M){|DWKlRn$cAo+nose|T+UDxyaxyz#bQJ+>tAIY8D<#sXAM=P-?
zmgP?}2uU7q$15LU1U1^`2DJtd@-bAvk)2Mr_++hRNy!`OEurpVV?~X(DEwodVw=_(
zyWim2R&`u->jBTDgtM^><Ul%Ouf^4FHQU#dI$@tP!&7XNW5anYU~Oz09pB4`zRcBU
zQQ@)MW|(fo$rvq8++qSy+kY}f8UD>G!lVBQaR^yLp<vtGlFrqLjI6jjao%{B&lR8)
zuJkamrP)+-1XQ*$uT+wmX;qFiUWkA3lXLBAKh|Uu)XTH8ZKIJIzFjpb)>IGY@^N`*
zG85p{CmrQvkSGIbip!uEsqSl3)bxEuhFv?X9SgC0WKUZU)uE)*<?_hS)nVmD5i=Je
zW(;mrV8$Rn%8rzl2lDr?JFd_52=Ant1D{@zeG|!BU#O29htOOZNmen_XF+r}dM++D
z?x~71hyfcsP23a{l%C5S;?&$b)1c|p))Yz`lwetk<jqeC<0arut8Jh?DG4CHwaW?@
zGs4h15Nj#tmi|Cn*^{bbUghdIRQUn1K*65Zw^)Btf)WOY^VGZ1`5DC$Hz!VXcre|&
z>s)2)0iiK&+p=u=>_$iT+<T%0oS$%h-76?2tJsG%k*Sjk7A2~gR~e_0TfSj~(wWGm
zGI?u64jC=P8ER|yTO}`zQLyx14s&RKD#{np%y{l4<~}6K@W_hp{+<A6r1nD0%#na<
zd^_mc*4`DJ6pb?x9Ll{Xj<G5BBsWZ(Vv0*Wz<sfEX|!?$qV5Zddl9y58kEgA2?K)3
zR1pRKvV6HSX>|4wq3A02-I~^}6WWu>R|xhjFQYLK(&Rr<I6yRU6IKRGn^y<|3v!)!
zo6cQwz}4|epi8lL-fv@R?hrQ9ALG2DpyUik`0v_8rC7G9x3qq|cxK->7AYy*R6gZ{
zFlfez`DscHEh2CqXkZGGgzS^Z$nf^Jp$OMA%JR|;eN*f4B#2u3FCuxiq^|+9zzE~H
z`OerVHVui$^1;~5H0~0m)-1>OFDbq0-}xg#`#W__-e&LD;HIMyU?O<N-AV(NrDFe6
znV2W;B!Rr)qEblS`M-HTYs968gYa!vkb%YyHBRprIEG9O<#T&qEknAr<Wn7m;uwL6
zH5zPG!KP^%=93ViX<Hk<zuBenr0M3wxZK$X_|*BplLG9!i<wC`0_~>?l)pQJD8q>4
zPTm;f?%jS7{eBKSAB1Q48F1q8f>%Zoi*N1#e~vYNr~Yi*rU27}k*{TCieQs{_;9M*
z;|y=`0oTvJNP@^gNX=dQY!m9r*Znw()#`t?U>lL1UlQf!;wP^8D^Vo9fV2pyTby`E
zWQwCXWn-fPfzeMo+Ge6gg???p7<AK^G;8wdcS2hWH)CoVKH~6i?^XrY>@aY8gVxR*
z2U|o_bxpd|=m9rxC%eb&Z}_9XZ$oocL``neTG($V`M*yQ9p=&%5rz{0$4nEz$ZvdZ
zJR_>3lZr>Ye>1{;BP<Om)8Ep>T*m7?1SF=<65}?R>E%Vr=|h=0v1rjlQGXA&$90~@
zrblc5kxva#2@p<09Xz{L9u;vY02ls<JEL3Kz4ci3sCSO#$S7C&wB;jC$t2`!*a>~9
z4qZ`~aVez3_$Ka{OFZ8%uUA3@?w=AU&Z-BLBn+PBK2ph05bpz7mN#s2oZ}sZ;Wcp5
z9@vM6?+jygagneduUGJPn(I(1w4U1|ddl7Q!vJp3KT8eYq_911a@q%*lB7*rg6Npt
zq84P);Pj3O>D@q9GmbY<1%^7L$J(GX8s79q+uW>`FO>Gcw~f*)1z5_hQ+*U`@H+4_
z<4y2;dHda{KIi6156M`Q_H~o0d+XO7IHv;MU=*Vn%6~xp4`{87X6SXz=wP5QSRiwe
z41?}}ZR<T5#@{zuG7u3tS?T}$Z$S{h5D@fV5e5oN%L|Br<-qa+G7=18|8K+uz^7vE
zZ0l*q02UNv_}`Lcoe}|uX_5|KUafQAvfi4=ao3-V)+;l$B*~qi!=)`1%qO-<3TBV&
zCXOn|0C1^FV6n8l@0a5H$=CJA%>X!2GMqUDz(hDktoKQ73=osV+JI}@7Zco|<~S$?
z;`QV~z7+qUOC(xyqBo+u%b=Dbm!b$zWVL6>vr1A)kw-KzYC9h<l~r=vh>?eU=$=Q%
z_HTA)D7187&Mmg&wPLMF$BcnB{bgJWFhVa$B2Bi?l2KBmddp6h)Qx)lGs;I?PjOvp
zTXw{I7x|&q>r<+LmTFf?<a`QLOFdBPL`xllRQcN|z9a^cO3pw;w0*DYW2{K?o8=8K
zUuolr%>)5Fm3R}NNbu=ZWd!f1`h!{jVTa&53^U@QJtiuq0juzTV;oe>dsd+;DQ~m#
zUYE+u^G%y<%z7l7QR?J<nnUY0)*T|uT%hwg5zp5!F5JiC%tcySW8P{%;j@}1@=>;x
vP%r|%eIk}3DPt~F{eMP}#Rp1&ho`x_r?0!U4FCcZgaAPRR#tg+1;GCR74Rye

delta 6412
zcmai$MN||3qlM|tp^@&6p}QLfK|)fxL6oi;7`kDAAqDB~PNhW}q`Rd%N9FzR{HwQm
zi+j$uxXXLacdt$<5vP=)5y&kl1#&1N;+chVC<2fp<0~wqY`jgRWYFS6plds9wc(*?
zABmXxv!=g*zj`C&@59mtDpZ)I^D}W!Aja*<MLj(;#K-)(T37Dr1u_3GnqCe=p$!Lm
z&ZjZ3@XtEqaE%Aw*raXEL9c5yvs&u%_O<O)2d2Eqf9iQ8lkM?kK3Qb?R44tw5)ryJ
zfq?XEqFHulj`X=#TfW4XnZGu^E^#HcDP+})Dzr?_o0o0o4pufolFCL?=;aQ_f`#6!
zs*tMOY4qX$ed{-0BjyYb92|T23al54?r-}Ewv5hpjNp@GO{#TI0{S~e`ux@w?D&NL
z(UV#0!)3#8u&%UoJHg%ZHQ%1?X!kGf^GgVrG<!<;RNxWg_)kKR{N>=&ef9B+-&~cO
z9F|C40^l%oO!v(u6w=#aIms3a2)<US_|%Z`*QF$E&AzB8d{+6q_$K;Th_&JE#bh1A
zx3wtPlwHsR6_YdRy@Y1435v2aVkOH>_Rvr6`telyE)MY%>s06(TKiKZXFOvOe-PqM
zjnQ-wRFQcZ^hy<t0_EY#M)Je#<aHWhsdUS|^aUm&@-9TCdJxc(1tnH|;!=T)gkS11
z6@*!le||ZLkCDOWrcufW*78Po?9nB1M!b8jEGS<U)MAgx57iV9O#&j4w?|G=>olfE
zQ#?QWgiDM+*?K-I$giCS^?JA{#6zyv2vx*5aG^=inQF$qW4@UMQM2RK0_~4*@@mGZ
z@xS(AejHg?$4}8NJc+^+4;^GDn*_iV-|XevY|tYpP`N;*mfjHDek#*KYnShTjwN${
z(AM9<PE1smGNHQYcG5+kEWmL0P{#R8*DrP-@SW*HNj*=L;?W6w@oW?UhBTm>5aQY#
z1vz&0SgJQVY^{`DUYJo&x6n%EmCUBfwA>f{aKiLcxWeR<(x)2Ee?B#D{X*<8SfR1*
zwM5rlM9vrciD-6YxhHsYWp9=z-_FemWMrr)TRalLpYX0f)PC*4aQ>aZUk#m0l5~H3
zvu`5uEB%klTjgU!o=5<*SxEd1h=U^$)zjcR#bl?={0~sQ@9g3WDlfx}%8&Et&D${)
z5Ba!VO5{L#U)C9SturWQGnPVQ`a3x&-QsXV1@8qE`SLn!I#T8^o8x0TcTD&oQ6t&m
zv?osw?%iGS*SZ!QDn$~W9O<^E*a5pwpN>1NFil&n?th>Zi!v~~NI|}+c;-gOX7lhk
z54B3nq}$V8$Yd2^=6@rJ>U68FsN$DA*}+k{S1i>+ZgZyi_@30~%Z#dfq&=G4)&qrH
z_1wQjq6>NF$%anH16I%QT)=rPZGLavx2j$s6@C4B#R;1pI6Pr{*%FNV?Ce0SSSsVF
z-=~QFS_DL;AFwF-7YP~Ln~0df;M$?cWhOysbK|GkxcIsjLb5n$kVgkL@llwu<POS8
z+!o<yhE;1=TDshL(g=3oS}CDN--|Iui>&#5%jkPH38ca}noQAX`Fb}1qw!Z=iD0;#
zDG8mxE32;cpTg4Ql|>1OYydf&aga7+I+HIno@3FFD_Ee^EJGeaaJ%`j!rvoYJ20;^
zXBo*CBTB@(wKt52)9|p!6mM%{KxjW*U(@QrY>V>@VBkP-BgT|LAvODDo#UQD`ZIJk
z*Jr2~oll;%NLcs5s%@?#Rhec#jYWQbDG`rmMOI!R{yIo*)kRNmd9O584)sMChJ~^2
zyk-TmWxvF#gZPi0&+P|+P+;G`5o~?m4n?5_h3pKjM4{q49|-x}I>kKmDmLfHMfSnO
z@8+^9EfwWeFMjmP<cM^KBvhX<Ba!SYnHl0yO~;c<owLK=GQ^Usk1#k&wPbkHs-s5@
zXi{#D3&;xIH@YdrxH)^_;*J@u$nM36I>j|nz*sfEL3~b?b@Bb->2o#gI`!Y*rEO`R
zis6v9hQDiW-{I)S?&`M+F524T0KaKzMxTLdDz7i2yiYKfbkK+>JF?<@@Cy{WG!OS^
z0z^K1+LfpAobq}E#&~HEorL)?b=9y=h|{PJe2Sq#@@w>P{;&fLeOa@-r03K6Og%6o
z;k{=~36b!Aw+Q~Cm&Jhh@3!|iEjM!`erkMjd2galXmt$8<iR-EX%H5-J*nSLkylXG
zo0q6LmB4_olXQ1xm?B2uHC)lpIpIx}^a@s}fx`a|{1~I>(;O;AXz(RTsa4Va$e#Jl
zkEuG3jubGJkNb_Hpg(|hdZw@HprbCYM2A9;6O!mTWzf(fK&Wi(r6VbSwR53Z&?}8k
z<gY}SDT3pO^@7hUOXjtH$)#OfORrp=4!d;Abb@JGnNnbx&3_?x^EMIixIz!f`&al8
z2fLqlY*q$&d$}Ee%IG7-7v-lObk+}2^^6@Y7f=vQc>-1Bc`<~RaMM|~U_){dE+q87
zAZ*|!o!Mi_SNmEB8w7Ov=czNy&UL<r7`My~FO@r>6MGQN(wIGsZ3_=eN4$iQfS7cP
z#h}d~%ExSZVuG<(Fxn(I78?+!`IXy(Hy>r-l0%-LkV>QFw#-YT_V7mJBVh!|y8gfA
z?&TOSgO`k+eA~jN^tZ8}vVXlcX12WvgrwzS-CDbKU@V>TASk3m7jnL4grv1T=5Q0g
zyQy+BD%-hX>LzPAKbTnYK2*;ev5|<EQ70YGP|cgWDlbbT%?zCQfa&GiX;DL=_(zMF
z`H?P?bxrAm@m=`=fI2FI6P><fb)(sSIvrz+?TqqPX8=sW;`VfhjOxMN0$%P1Lg0%%
z#ukYy+@P*FHXPrOkMCnIxM>GVlX#3HCOt@bjde2*_|08y39d+6nA}sfWM>TpQZ2|j
zDk7gYJ~Jk$!VhN_9e+N09>p_m1Vv>1upFNQv9<^p#=hNkrsf-;A@W5kToe~9YYX9z
zR;#K(pEZ4<gI6ow+B4nc`HnTrK=hJSv5Zm^6q!1WCaF}G1Ux$PMpLuo+rdmRFk-qi
zltsWxaqc}{uq6CE!uU-b>o=^R{VFzrn~In#(YIiOuYY2;txAgLlF0*Pf7#xLELZgH
zhl_Xo3?ry=Xra=0q~j(?v|z<YLzZKG6hUZzlAYUV-MhZSVT&ukykUGF4Z#Zf*%cRL
zW@7xHRPSE$4wxg58(sQqmAQ&YWi}2CI@xA|rb^*Fg3PHnNyp7T)~JdOnvTiJwVPFE
zpc>+M_%3RvJ&KIP@rd-fdAahpX7t&cwR9s#_n(SP#|DZo;)xc>I=D!JrAPGEU|Yj6
z@!8=|dbfFBi&#jP3Y4dAqae5-)hB)KZt6hbg2{WJmOpkZyf~z(y0}EsI=_Q~z4UKP
z8J3w118~}=2E&>$Y>9&QuHmV_94)-4<6q<`E<q=udJ{0V28P$hVrXY0lStMiWkf%&
znWI4-_bF1C+pBWVE>Dq<{17o(IBb|g{rG{SQl2c+08y0=1;MF{Alkn1L;lGt?B6Tl
z+@F^Y(H9n-NWc09s5AVl8Ct<rOMNSx9?affxT@7>{<`PHiegv&Q0R||(Zu?eScUX9
zGu<+aDV-xvK2H5MQzGF+t5fR;Oexhdc(98TeQ~pWqhlAgTX=@Lv9WyTXFY@=Py0<8
zPrq%y{5y!=ecR2F2jU9{_0$SkO^M!iYC7=I|Kii&^5eUn5b-f^;Fcc1Q5475h8xLN
z@qe!Lpgwbembt2Q=63>a$`vjahM6yoa?Pz$PujqFx1-}8I_6jVHlUtgdh-cIY|U1$
zWprb#Ot*o+)w=weF!uNLs=kF@X@w*4LssU8bj7kny<YS&kg2p;ftY!8I+^~$ZsWuF
z0@Dgt1>BwK!-hbLb4$PE7rYydjlFt4gJ-j(Yhx2b2YIl+?N2KWe~?uebUa-Js1}cr
z69zEv-F?H(;zht6chnGD#^6u0!-X!Ub==`&89z7V8W;+Er$cU!Fj_Nj#obQc4v@F_
za{cA%Vy9C9GV#`l>dXK?s^8PCw?X2NfE}c^=MSeAFhfk&Y<&pi99K1e2^7Rps`a2?
z;+6A^fR@WxPx27xBw9hoi?;Jc>PU5`3tGojEU=BMv{vB?DmU?Q%Ew|{0M?hj6wQ=@
zyh=*#^|pX{_pAGo`CB&ihvnn+8^k!69#!hO^+F56P87t3Rc^sQ$c2Xp!aFZ;ak@+`
zNmkoGxMk1%(CM+TI~_Lv)c2a(R*{h=+{-BlBBWWtQ@lTC&b3riA2BsgZ;|!U!y+yY
zLNXDaIBv97W6U`}nM5SNl9Spj2KDby=Nov<>Ic>>;N-b3yw}`2c$MF#56(1fxfwb}
zNt@K*DMEfcoUpp?m!Ijk^oRdC4S#$xvLEEo(=7lI=MZ>bhYEiQI(m~Rd=o$Sk;|l7
zr*Gr=+9l1wOfJ!maAhHd5JCTsP>=5!-X5uq0>*|6A0uUP!LN`3AH&-L=^ajPckZdh
z+e18Kt_pO0xn00qdw+XH<mgy74F2Cuv}e=odmeZAD+<iCnqIk6q$V7FSAY7%rlnwf
z#K;^`W3Yp_N>64r@%~#8>vZ*}<|i-5S+rJmu)kJqS&g*h1XpEVoYS$tejD|~@aVTI
zGS5Q3Xya8%iYBAGz*unh3DpA8hePuz6}hz@R=)H4+~CDBPpil_#B`>!+f)Lf`Yu(b
z3h5szpMb*Y*_9ID5gUG$%cKYy723C}`d<q(>~$9&4i(TcS>F5&nAn^h->1^gDg-+R
zs-h`N+@Ld(1+g639=2!wCcNiopNsHI{=fzK^|U*77v9g=#LXNyfH=7vw2g{2<%ffE
zB5lbcOY#ei6zVbQiH*~LA9fuhnP|UxKQVcc*Je$Qpbf#^#A+`xFS|V*9C*$()lPzj
zE^`?plcwhGc3rm2ND7U0r~?u1uu&@U*kCD{`~r2!R^)a@6&Wu6w%Y>r<mz&Ed0|LK
zuN);&ulX<|SkUaL^(;B`_d(px7S6aAYoL37?~W^7$AEH4_+{44XTLO`>=u?fmbMkc
zv~j=kMsHGl*5TV|-U46{XkO4tlrYMXwI!?BD%g-(EZcrl5O_&)>6bb%PC6Wzz8MF+
z(!il~IqkEq>CgJZa54!dLT`0M8iedSpX(z_j-_b^!0C?N`DB<}qb>5s!5dhU1_sjI
z<N$V+H_l6g+xzddj5BmnB0NE44>@^VWSXVXetNge$T4g-S)Acwxzc4|V8Ko`m=-Js
zSU)UyKyUw6Kpjlua&-B}H%Xf@s3{KYc0}Ws#sX86q{DSiDd`g1Q%xJ8g@}bDomyGN
z1Ze<nA$T>qYj+YoE)Uaaskzj=*UaQyf9R(96$f2cTD?{4`}s*6P^59<8D?4E+CG1-
z1BJ?s5%lW${?`6Bto14;=FKnLSDMU@hMdGH_JJLAg0UzWM=J*W_KijD-KKf|UwUp$
z)K(mO4?8dK&-T{t|4Sb;ukKOMGLcPC$WcT^GZh3;I3T6(wLb2N67^lyU+H1k7&q~l
zTr{p-6rsN$0ZO912@{mpl<zz>xN^_xFDHW2c^waI!g{lWl;V`8_HqmNR>0)bvVHM`
zPxBky^s=NYJR0yd9<#{{-)5hliM<84<`q6MXW8y*2SPpje4WzjXC@1>ROh3+Qz_4X
zR;?HT29U*W`s__*skPZAoqdWf{H;o($+QZv&#el8$}c=}io5=(-~wEH%LDT^*+=)D
z`)um!bnlWzVjSjaikqPlwBb_SbG*u0<^g%dDmpV&J8IoAgS-W6Dy@j%7c_p<;Y3VO
z1mvk@$lmx7)2=t#k>CrJwpnI>|It5)BD)cR0)fmJT}qBWXv{l(?Ed##9^p~%oP%e>
z=+xrnQa{*2J<?z*MObCvF=u*~WJs>o{coJ23}8f%Y7F-d^R1scb%-Tv9~Aou4Mi4u
zAV9M)`vyJvQdf7ZqZ^q0GQqZxY^7M^)cvm1*G&?>`EPY2B#S~rnci7T)L%VbS8FpL
z3K68mWOg<i9*6Ggwft3JpWYSkDoA@p<ouB<KmS!+nFz7)Ui=M*#wss78<cHCf8igX
zVX<&%)}F^(+nSCiYa50Kr!~|LHQCAc?YJM$G&Ntj@zD*dr?gPYQLga}dBmp;#ACIb
zE5T+r8guUb$P?u7)<kL8{(ax%DvG;hgQz`a18}D*Zx)>EI(bagUWblNKMRc&9eJLb
z+SZ-1pmX)2LHIYjnlNfAN^7}vE-bY<J+!5kk5UJBMa*?SH#{72NX>6>ybpF96mhv_
zAtt-f(a<`zgnBJoiM?m%JIU3UOjdVlI_u&n@)%`aYdt=5O^M9I{3^~vG_$j!4_OdV
zc9VvS>k#ctHq*Fk9@Kr*S~)S>eVHa&y6iq8nhW~-cjr&v-h3o8U?xvg2K~0`hi)#Q
znMxqTI_5|_=uGCv^ay<&W>ct6UzvNY&5~lJ50W9Qc`~2|FVaG@0m~}%?YG}ekL9gu
z2ZRJH2eaM`hW$2vFjj4R+l5wYQV1e$RJAv2Bp7>6ZyAGJm23GKQN5kxVU)U1wZDMb
zu#=|^md(1>E++ai5V38`M$2vr;AI@7_2*0^Ir&uV(<obtKW`}$yA~lEfsX3&#fWjy
zxoDVDx{Gg)=;vLd2x6>eMQdQcx?-UqTRrMc^8`bjq-PaRHyt4AmTXW$2U0S-g*j+4
z>AE~u{-eX@I3!utw)ZFhTX=vZ`)FxOjc-Px^!Qw=V?Yy4q}*wDw*GQ={^wko*3xrH
z&StZ$L{>LZI*WFaYRymYjDFsUc87j<50wYBf5Alls7sxx6q>@V)%+<prBq@m_&;AB
zn<SVVp0-%m&U)(5NWIuyXaNa(zMiz({GDm5gT!DTzpdO8KvMO<5lRIqabzqy?|2B6
z9ldC`TK&MN1QCTgL2VBnzf-xFXeDikONEmQx%twiqASzz{!whhc?ZL|?sSw6S^cN$
z1J|~8#d*N5LutG;knz=hAiHVAffHVEQavxSMnL`3J|R<@k0N748$jaXe=oL_V#M|(
zP;lZ&RsY->f4i;z6Q?$PiP58cZCi-JgA=9WaiZ;cY$JgK79fp_I&-#(vKQ(BbK!qq
zlw|jc%u)aKSaK^VSbf44X~JiUFaegb_~mdU0RMrhp0T#Iibh>upp;xjI0JZ5$a+z^
zow%1@cJ-by01|;zX%2ByY>!yy<V)}xPFyW)PWuglO^Wx#+flJ+9)F%bhLsw$tTkPf
zdV=<cnYQ@$+GDR>-<()fL?+Cqx2hdePz?qE+yg2C>?|u^Cn~P)m#e0uh(DBcTYn6Z
z(Hl{rB~rHhN>>oOd*%oa#P@1H+_JQZvvbN7QVuiVE322qBZh1Yr(Do1(E;>0k3FL>
zdkiF$T`}n_Xlr+kV4sU5-PP1ZB7YV8lW+4YLUi4~E(F<EGo%;kkt!wXO#dYf5E?Rb
z&d8m>@yJ!eDPMsL-!F=vT$SP`eR9hGE*M#J*UTw$Xd&U<;1RphJy>#Y#T>YIe)R+h
z#3Cp=wc_*MAcI8wv@PMQEem{8lIRlM!g}FOs(rX!`nZHm9YtVQoF5g=asx(YB*;AW
z{p}X>ZgY@RciSRa?eGqQy?*9ViNpBa%o9txY;)01y?gWa6)SATdZ;@GtC5A|D!luK
zP=3!FzxJk#@HMYw&50kv+A!2&@Hh900!_Cvv<jf=j0N$@53L#lIry_*XTz}g&&Vv7
z37^^3)tpApJYRRFQJA8-v6!*vK)Y{T@J0O7X`L>SPC36NaJ{`LkO!dC(7z7%ug^#_
zC3^iC6Z~s4T!^Nr`)b}x>sam9tG&ysu<t;1#M!rQ8GJjw(fx`fF-xiRf0dYdd5?k-
z&25G9pP>FHXzkoq=y|Q^KoM~f;mip#47&ef`z0C14XwViDo{mCSU^}=RZLM;Toov!
zC@iQVAfzm+s3IW@6jqjHkp6!w7C8Lc_8yMjP7Fe#VhsPaFzu9tP`DoH$o1_y&tgmn
zJ4@pb$gOdhFLv2R<BYnN|EnHH)+{A{>&VO#N(Gs07**{+0?09_VE)e`<Rakmi?Q<l
zbc`JoOL=|3l)2h2lH~`$B&zwzTyBL$)P|u>OU5i3Ex*MjmR3KY+%`@;CaomZ8>Rr%
zARlAngDI^;SSWyowtrW>Yljn-n0DvYZW;8x8OgHvy7BHlOOneQ!Av7l>=di9n!4)^
zwKdf_IhhYipaw85ef$-<7P^o>Gp=;{sLHZFXDpTs-nF(cHzNA$G)aA3YISC8Bv<3W
zVr+GLSCKUGInCA3`v@fd%Px0zS{C&#s~$RwyA%&d)>LRxNC^d7aMd0;b}BgQDKZ})
zhMe`QJt^KU1}}{mz*cORkdTHA)F`uhfCl<eA3htpVjP~TaigrAgc*^xtzp(up7FAq
zHa8TMIS*Sy5DPisw&jYhbV-OewdhSczS}&K0P%3g8^U8+arXbafsZzsOClIV*n&VD
LR#p{VRh<6;9wARR

diff --git a/paper.tex b/paper.tex
index 617f414..bfdc8f1 100644
--- a/paper.tex
+++ b/paper.tex
@@ -193,9 +193,9 @@ In this section, we are going to create an overview of different IoT fuzzers, li
 \subsection{Mutational fuzzing}
 Mutation based fuzzing is a method of input generation\cite{tfuzz}. Mutational fuzzing requires predefined messages to start the mutation on. These mutation can include e.g.\ bit flipping, checking for out of bound bugs, sending empty data or substituting parts of the message with random data\cite{snipuzz} to explore new program states or trigger unexpected behavior. 
 \subsection{Generational fuzzer}
-Generation based fuzzers create messages from scratch while being provided with the format specifications for the input. Creating such a format specification requires manual effort and may even be infeasable, especially if a format is not available\cite{tfuzz}. 
+Generation based fuzzers create messages from scratch while being provided with the format specifications for the input. Creating such a format specification requires manual effort and may even be infeasible, especially if a format is not available\cite{tfuzz}. 
 \subsection{Snippet-based mutation}
-Snipped-based mutation is a novel approach to input generation of Snipuzz\cite{snipuzz}. Snippet-based mutation is the application of the mutation-based fuzzing approach on snippets. Snippets are parts of messages, determined by a heuristic algorithm and hierarchical clustering. Those snippets are categorized by the response they trigger from the IoT device. Snippets are then used to build new messages to trigger new program states. This method of mutation and message generation creates messages, which more likly follow message or protocol constaints of IoT devices, which leads to more effictive fuzzing. Since this mutation method is guided by the response of the tested device, detailed responses are required to accuratly categorize snippets\cite{snipuzz}. 
+Snipped-based mutation is a novel approach to input generation of Snipuzz\cite{snipuzz}. Snippet-based mutation is the application of the mutation-based fuzzing approach on snippets. Snippets are parts of messages, determined by a heuristic algorithm and hierarchical clustering. Those snippets are categorized by the response they trigger from the IoT device. Snippets are then used to build new messages to trigger new program states. This method of mutation and message generation creates messages, which more likely follow message or protocol constraints of IoT devices, which leads to more effective fuzzing. Since this mutation method is guided by the response of the tested device, detailed responses are required to accurately categorize snippets\cite{snipuzz}. 
 \subsection{Message Structure Tree}
 Message Structure Tree is a mutational fuzzing technique where the valid input is analyzed to create a tree structure based on heuristics to mutate single fields of the input\cite{hfuzz}. This way the grammar of the protocol can be derived without explicitly providing the input format.
 \subsection{Binary Rewriting/Instrumentation}
@@ -213,7 +213,7 @@ This technique used by Firmcorn\cite{firmcorn} executes firmware instructions in
 \subsection{Symbolic Execution}
 A technique used to increase code coverage by using symbols as input and tracking manipulations and comparisons of them during runtime\cite{avatar}. The usage of the input is then backtracked to solve the constraints of specific code branches if a desired state is reached. Symbolic execution has the problem of path explosions and constraint solving, which poses as an obstacle to scalability\cite{angora}. Path explosions is the exponential increase of code branches the larger the program is. A part of this problem are possible infinite loops. Constraint solving can pose another challenge, since depending on ``how deep'' the programs tracking goes, the calculation of the constraints of a specific branch can be complex.%\textbf{citation needed}.
 \subsection{Liveness Check}
-By checking for liveness a fuzzer can determine the state of an IoT device. This is done activly by sending regular heartbeat messages to the device or passivly by checking for expected responses of the IoT device.
+By checking for liveness a fuzzer can determine the state of an IoT device. This is done actively by sending regular heartbeat messages to the device or passively by checking for expected responses of the IoT device.
 %
 Liveness checks may cause timeouts to be detected as crashes, which slows down fuzzing. Omitting active liveness check improves performance, since probing packages aren't sent, which make up a certain percentage of traffic that do not contribute to the detection of vulnerabilities during the fuzzing process.
 \subsection{Taint analysis}
@@ -221,19 +221,19 @@ Taint analysis is used to track data of interest during execution. The data that
 \subsection{Stateful Message Generation}
 This technique was introduced by SIoTFuzzer\cite{siotfuzzer} which fuzzes web interfaces of IoT devices. Stateful Message Generation (SMG) is divided into three parts: front-end analysis, state analysis and seed generation. 
 %
-SMG considers that communication depends on certain states and therefore groups together messages as a test case to fuzz the target system. So far SMG is only used to fuzz web interfacesin SIoTFuzzer\cite{siotfuzzer}.
+SMG considers that communication depends on certain states and therefore groups together messages as a test case to fuzz the target system. So far SMG is only used to fuzz web interfaces in SIoTFuzzer\cite{siotfuzzer}.
 \subsection{Vulnerability-oriented fuzzing}
 Vulnerability-oriented fuzzing is used in Firmcorn\cite{firmcorn}. For this method, static analysis is used to find vulnerable code. Vulnerable code is determined by multiple factors like, complexity, number of memory operations and call to sensitive functions. 
 \subsection{Coverage-oriented fuzzing}
-Coverage-oriented fuzzing generates input with the traversion of different execution paths in mind. This is done to maximize code coverage to reach paths which may be vulnerable. This is done by taking the ability of an input to trigger new paths into account\cite{vuzzer}.  While coverage guided fuzzing tries to maximize code coverage, usually most of an softwares code is not vulnerable, therefore a lot of resources are spent on exploring paths, which are not vulnerable. 
+Coverage-oriented fuzzing generates input with the traversion of different execution paths in mind. This is done to maximize code coverage to reach paths which may be vulnerable. This is done by taking the ability of an input to trigger new paths into account\cite{vuzzer}.  While coverage guided fuzzing tries to maximize code coverage, usually most of a softwares code is not vulnerable, therefore a lot of resources are spent on exploring paths, which are not vulnerable. 
 \subsection{Directed fuzzing}
 Direct fuzzing is the process of generating input with the goal of traversing specific execution paths\cite{vuzzer}. 
 Since only a fraction of firmware code has vulnerabilities the graybox approach to fuzzing by increasing code coverage leads to test cases, which end up not finding vulnerabilities\cite{firmcorn}.
 
 \section{Conclusion}
-In this paper we created an overview of the different IoT fuzzing techniques used by state of the art IoT fuzzing tools and compared their approaches in regards of input generation, crash detection heuristics and their device scopes.
+In this paper we created an overview of the different IoT fuzzing techniques used by state of the art IoT fuzzing tools and compared their approaches in regards to input generation, crash detection heuristics and their device scopes.
 %
-The IoT fuzzer we looked at utilized many different techniques to make use of many attack surfaces and even used software outside of the IoT devices themselves to gain information about the device, like IoTFuzzer\cite{iotfuzzer} which used the devices companion app to send fuzzing messages to the tested device.
-%\printbibliography{}
+The IoT fuzzer we looked at, utilized many techniques to make use of many attack surfaces and even used software outside the IoT devices themselves to gain information about the device, like IoTFuzzer\cite{iotfuzzer} which used the devices companion app to send fuzzing messages to the tested device.
+\printbibliography{}
 
 \end{document}
\ No newline at end of file