From 950942d07db3eeb63d38ad019aa3ee0919a589ae Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Wed, 30 Jun 2021 16:24:54 +0200 Subject: [PATCH] master > master: aufzeichnungslink + kleine Fixes --- notes/woche12.pdf | Bin 1076177 -> 1076753 bytes protocol/README.md | 2 +- protocol/woche12.md | 5 +++++ 3 files changed, 6 insertions(+), 1 deletion(-) diff --git a/notes/woche12.pdf b/notes/woche12.pdf index 7817fffb34fcfc955fdf0ae4ab3f4725a984f5b4..4293985c87b9ff6f569d7bd4eb36e8758918b482 100644 GIT binary patch delta 11428 zcmai&RZN{h+pdv?yE|RDySuwn++B(lcNVa4*P_MU-KDs@dvT{Y#dp7CAN>Ef5B8hf zc_&w{%$>=cOrE(FvBXWWz!1m~s1WE7KnP3-Y!lq{41klBny(NA;i+39%>~z< ztMY>Hj(wlVcWbTfh0Z?C5v4V@KX%0AqulWJ$ojQzW$*C_CvqwbXsUYw>`aU5Es7W= z-b|WwAD@)m{ziHkIsM^GHHkMfI)Vw=lA6+U(*#Hx3Y!BsaQQbq*A zs)>5>#A6pdIcD9DL>l^!+WaD+ppk%Lxrj?M=Arl@GuMP&x_QE9CG`oUIzqC4^zNn_ zyHG4kx~HbQa~t41iwd}?4+!V)HAAf56f1J~BiSF_-4QgZgZs`)w3g5WGC+Y()pZrQ zwSb~cYDV{UHADovX9(k4vy3m9>AE42D=nIeA;QBZ+OBb*Z|OMqmvzme_~0h7lTV55 z3n;aRd;d>|Fv=0IUgx5mq@rQ2q@{djhzQM&k{oU$odIzUo6Jkc4KhzX!7*aWs zLZt;Ogt{CF$LG_ZVM~_$d}`zTSrP)N=76};j3tHe8mr!-@tV>FLOp&;MAF{;YCGS0 z#~>jlR2lH4(LRLljhm4JLfOvn-i#*8;(|}Iy;%(+xbxJJr6pBY!CG=R|X~gD+im!Ro!-V~qE8?zm zl>^H*U6kV*n-ImiASAUxMDFK|OKq>&L-+A$%&bmbwt`80nMBNiAhG3*gST;VUh#HO zVFq*L21R!u9;6|3vx-#o0Y%@~*YecARr`4fgzC4_>Tz6nBruk-Zy(je6?lU_}q z35LNKR*GnfiO@Rk(OWQ~nchz|F=}dkoUj+wdeyBK=p)@+(1grz+kNswwa&P}!&*Ep zsyfYm!|&4=;LtW?6S@zXo-5T&qC_I3CQ6jN`YBz|`c(!BQwwl6b{=VuKEk@gT}a8d zWj=fQ2t%xz>8X7?bO3HY=`s@FrJKn?UTF|DoFt(Rgw)FVCOpAV!ajP^Anh^FiA(oT zH?QKXi;n6I;-et?V?;vnYs&bj>-$B}bs)MN>G29>t@qNo0&qTN9Vl3h!rn^DH0pZ0 z=VkY#v+xW>G3GJb9mGkTasJ)@dn=LE5*-Y~n2n7hG#MBt^Cd?lhhOf5e{=qXDJ2Fnya7XS7*K z2iv$fLE9(y%#`W2Ua@;p?fH@o;+gRL&?kZM2rg?Hf_B~)WPrgGsHviS%8a+t)-ZdB z#|#w$#bD)y>+dJ?b^FI^=YBFh3H`AM^z{qJooI0QAw{4HN5|*2P~?I^d=Ag2Po(}d z5l5g}HOu$-8Ur8V_bN-cJHY6w(S+2~JUnY~CGIb==NYCEIn4vfo@2leM)QW7K zql-N`42Sr#Nj81?$wN>8$p)*XOXr(`%#v^p2&-1E1Sm+iTfh8(9Wsn!J8i&B8!@36 z?{+xGYhTw+Vv|b2E}EaJ+u2VNC?O6>oxD}&^n)Zt#pble8ZHknt7WDa>URe8Y<>nX z&G>eR0&eiA2xjezODwHhu61hcsht#k@8J>b*Sje!a-wD-Iw(YX1=jCmV{OM*b~uVS zpdzfJO|JMeBWvg#c&IlmX!v9TGBruRZ;B&|DYlVAf>R2$#~BB(izXxWdz~fJW_r6{ zAxt&mFmTde7dZutrtlT73yBe6Qg0ZUawU?Ms&MvR(_N1jGK)8NIxQpQh?cXzND3~i zjn^dzd=L!egogitL7QS|%EU9|3#FiV0}W{k)6m61X5$9-3y!MeDc!|)!~CF~YJk-x zZ<_BY!Z(1WGZl=eV<7}omUFDW?0i1PY~W5}-}qR2?K3B@eiKk0TB+8e9+nCkw$aQ} zz0@H5Fc-V7La4s9Y{p)2Ti)qS@YG08nuvCO0qSO?FowO509i8i5WiCmh-NS_fPzvH z5DMxANfbyl(XNe%alsvQ(t~2%Ch;#8Shj{DxUR$1Ok_7swLk?wP1zL|y3NX^qM6B8L^0a0nW`y!hM)MMfq=XifO{`4JB$B&c^GDA6eAb292_x8m8En z^sb4~3uU^T5Noe53>Ve8K`GdMpaxqs?9=)?t9ptRSPfue$6gb-6?(2MRNSd5aF8h_A>uviTz50iE-$vECN{{hr66~I{UKvOW} z3&j3++eXZI!z6Af!pI48F}K7*sp<>}4P`ACt+Kq0Pg?;FKH67N)E9K1Z@GV^$Rf5; zjuhuYoUh`bA}c+7v}PJ9ZbD%5x*Le)UtvOd^X~0L+_*VE5d)1I2CBc7YC-4~rZ!Gy z7g(tYZ2i%3XMP|o`m_>sKk*xKEH7InX{CkmSf>n3v~!k}YX+P;?lnPx;Zw&{KPW(sE>77C@vqfUnoTBED`?UxKe%pLVt%rULcHomc6SbSReA=o>D>v&z&Nu4T-KihaADi$!b8+>R zRI6ccMed%PLXS|(8=j~NP~x7>p0?ycjE~vE4Mo3 z2O8b-k9uXm2=(c5i!L^K_YhTJ^i3x+kL(#$^q4`_&e2eRDx6G7S2BBI1v;k@bK~=s z&lf-}d#J|P9h)`zPGOW@ixPj3-~zuyxQNeBev}9wAg~`eZ+6o zCK5+KPe9cu@_~z>Xj~HJ__Z(QEZK9XNn*S)2n;qs5owh!fHkKYo_Hm?Vv@TK#!XYk zb;dJF4x$dKM5mttlxNUm)h48LTvLO8{C^(7hZz;~iErlMM0|fyCr=8j+Ei<(`uqLl z>NLTbSa3y|Q0;M`{gU5Yxc@<65Yix?ckd;3KGM;yhY!^S1d=jjtm{J8D>JXt0OHpa zlQj?_hg1HUTcfUR09fcy5aAwc&eQMWwtw`4e{0=_W<6vCD5z+8$idy@_jEwU7ut{o z|C}Oou|e8%QB0BSadZci=dg|zC~v@4vKzC`&X`3gmmil?Sy%Cex7TkFkv-PiE@iN@ z`$w0m@}7l)DBbK#A(-wV{`Pimf*0TBn}nBYP}VCe=Jp*qjt`xKwqVsbezF}Jk$Wtd zDAD(Fv!#qx*%mUnE|0ZYUr`R88{Mz&(B%j}Zbiht+px41QoN+x_p_|3tX>cyxqh?y zwISw4UD8go!HrJ2uRMaW9fw#KKns-LW9X~uw`WBP((#yu27U=$|{pw(+PZMmz-~|tV{_(XTpOC z$T3R^L%84uzhqX7^W;9RzPAnj*3fu`k z^%;aT8PwY6^dDV2v$t6!rMoe!S1s83(<41<$CY8Vo4SFO`V)>wWqp2X!asIH@|kTK zw%h4awW^m?ay5FBPxr|`;CEziqhKSb$k_}b`-1!3N=g5Ki`|sOL0HTD#8JoRXzUkG z%3w6^NgcaRedJ(Y_29c+vS8@dC{MiC1wYcjNx>M|bYXl7=4g#lh{0iCG%u&>@OIw; z#{%!Y0#z^uy#l6W=p_&OYT~>uy{y2b4E-^FDlh*<06}!tC&vO}<72diIu<@CHmxw4 z_LwzdQ>lVy)Q|vPy-|W_WM#;QhzeI`%1o-fA4t5}7I}81Y;MQ0wcX|R02GMIwDoy- z988rkLgx;V&{8j;?9^qQVo>r~E$2@Uo_!Znmmw2WDU(m;ZN2FCimO}Do2&$MP$HHi z&BW4~i~Bx#)@D=Eab60cN=||B7)fU)(0A+H{I}iS6h%QGgws5`j^w^x-@Cp?U-f!d z_ag|SemUQTktGqhwQ7{{uVkdPj&wn4*xI3@WOZSDM?#(9?jZ4m|PytqzHggvP5#&jr?jan(J z=Vn*GfXQwPUp-Lb0fel+vq{+cogTX#>Mm`i{O5ZGqz zcEfQVBlWcEN}cJAqIVE&w^n~&w&*q$>eX>cuquytIjf=?vE)a&H=E4QNFq(5gSV~u zd9iWl$;9q+HL4z)@e;L`^9H-D;;=fjc#gDiqqD>i;LKBd&b@3R^lFV0Pn40%53zC1 zJtoWfyC^v|fxWCv{Zjp{lm74OK$jEOXsFY=Z4$m;3x0I98Ac%cWWhfLPdAT^6I}Kx z)Ajy$Zd)nCl4I&FtqQicI!OIyEz)X6Y=elt?G+a_HTVh2w0p3;4(22Xb|+6k=qGvryLS;*`3V;9>V+))eJV^ z?sn6v5CyY(+xO?bnZu$#O}3DG)? z%>bnq`-Ha_MJB-*{aAXB@#T)Rxf=+Neab0~=xbo-8z@41lJJwWqKxx=g3UII;Jpob ziC|}^H7QEmTpqbPY{&EjKdV6RM*u4MzPAU?GpbrQ(Klps;0F8coK{A&Z5=<1MBS$H z9dXzTQXR5Agfy8Zv1Jp_V0N@oXeQ9Cs)fMxi4SBW@kYC~jMk_Xan?K}^45T+`#z#V z(etrI1agssn^HL%`I#M!iSmF(4-ob67GqxML!A42Fl%_#t+pto2K`iuY}y^!++x6M zl?e{Qm`We(>o6-ck}5D|f=@E9{r4m>4dgAit+JvybA|+4UEv+1+`v&GOmD>Tp#P`-`}M3uC(^0qa?PxCu<$Z@Els|*Yp zf;7}!a8Yzh%uYOj8{W|SvVUDGL`jj*zYOE$JSm657ZZtcOiyd#w^kNUy?NsA2}2*=;@q+p!X97 zbe;Nh>h|aat2*W>J8T?dGa7h>*8v9ErTdg{k@yVF(Jf;nX>pVvZ;a{RNcv}EJ=3R2 zWMLZ{H(55jKG-d41TT9|*7bTqgN5Z-Y}96R~zo5BxE0-j?>i z#bV@8P50=}=-kP-9`e$Kq+lWbZh17fJd-D8wnl1@aO$`8q3LakcdUCM#p+y7WspXMe2jT4G52zM% z{e--|-v)_PJNA#d z$g(vjyU390$7_nJ(dJ7>wLM{X7JkH-Vq34oy1aL*9bU?Tvr9O?fr_`Q3`oeQDwlhT zqFhJr#3XfYc*_4&WM%3R<11(k3*W#j^k8tc&vJIEO-~KM(Me;?1M2t240@AV{}hjt zi;H4suk`FQ2^F9V-{JBJ!Kd@03W65#YWoP55EZD=%KWPpRA%dv@(y?Gb%?gdxZ zI^JpYw#)|%*z9zof~53y3rsD+pC7rOuP=uJpukt-*Wm`BULE2kKgLRz414gUIb4M- zDTIQ1o|)MT+H*VAzP2#ZrSfcWdG5%-sC+eemL>p+RMJa5)GWaZD@}nz%oqJlI>L;g z<&|r6yc8&eQ!iJB>!b|1$=FMdCv)u5oMMB=yu-~@V(0~v}Q8Es0 zcObs4V4GzhpP@^F&!j&mR5kbd3x2CG{+&T{=Y2NCK|Au$KLD2fLt=3wDZoP3aJTzA zfGh9rMx7M5C)yERGRs5o3xfOiIV?+uWG+Uu#BKF?XCh|Gi#}9c9tU=R)FLxuk`2j| zIJ}B=kVcTITg;5pzLeP&k(Dmws!IsCFE8WlmP6U$IdQb`+9dJ#&+(Z&>cEH(@ z2bfA+VHkWv{-PJ>ZGqs@dC-x{^zD%0aF8HVeHRaTtU!zaqInruEC6lbns{xSR<%Ki z^c4-rH7$W(`Ma49O@IkyGo8!FJz#BVt3&A))KF&$brypE$=s^$~yL}rI`V=3`!m{=ZD6#D%!MG{nsSRvxZ zt1p1~%LTwP5^p+;`-%fVA6i?4t~FO#PY>5udcCU9ISPuU=#|YJna*Mvgdf()wXU57 zRURT)^m1n2)$Ysge7T|c#N)hgfc`)oPGckwzRr;VYVfv*3F{nGOE@N<6c<~N@}C| zq#zGFC}-cDv=NJG6c;eros^PzvSf4NJ z*>`HDQdF$i#Cb>^lC}Ev3um{r?;oBua~op!v6i9i>=&wq>|I&wbE;l5bw43MHx}c& z%Uwj^JUg_{WA7_%j}CgO)slOEJO#KD-4P)3t)(CMazq-O-+=0$@E#$Zb=xc~L&VHC z0VQ9#B}iF>gLGi~H$92DJz!kW4w=$v%(}rW-+!gyg-|O-LEH6@HB3h8p~nM`VngvkZm4Ha9p|8RH~$(|Gal>opXq1H=Og1zZziZ7{DoM(^s(=$f}6hWhVPX9QFh zqLT>qfArh6g>$?wViu+B^XMDAW9;~-Tbez^Uwhoy#Mpzs@`GDUijT}d1(z8E;dZvMk#8AUDI%e6o_ zw;_x`sYk)$@I^$ENped&IAM$-P9_C!oR_CRr*QJ&`aTjk#2tk?wjc-sl*Qfm%dy5j93 zjR4{H)=`&hDn4VO7kBBGAAOD4)9Wpc5=fcXca61?=(M|hPFR3m1&-Pad&G)lOsb~{ z92##`_2@=Ae==o3V|j)kn0#D#)Zq;HrCI1TI&tyPa;hE19HP!NzVQt_vG3xN?CJBz zthk=9o~&3yc7u$Qg763;x6&y= zw<2hgBOjM0^SJsE<^Do>ndWd{MKF7nm}*7H8!)?aHY77G_wrqStbCwY?R{PHbPmqF zkwlEs!o%p(trmO_;-?lOu%?vl+BKTR9%$__ujdoTdnqK$I|OiGckk!b@$=8`G%US40!Tq)T61 zQYIUKdaEc1y99$iadO!6$0d=HCBs!4124MHwmYmp*oLzckc`MQ8md6}2M3@pbT@1w zCcETo^xP>umMwU9Mne#Cv?ZRL%T!eL?8hw8GvuuyjdMB<_}=*HsEFRoRsYd= z<@TCUD-m__W(%n6HpsC!{dy()w@4cWc1_B}W}pESKfEO%dLw*}_lLrZ9jT5eVu7&} zF`d=z4|7E6w>TjJTGLe%dsjIq;bq?VkfeN@uc55Ci2d*=#U|OS;2}vODzv|%>n&u# zi{%2cx!S~4#~3Zxuv@gIhrZCs3|iGqA1&Tgu?MToPz^savxP=zs?OaORkp5_8&5Fn zD70=s<(x~pMe=4U8S52s%?H0jjt;YAd(uMDiC}_K$9rgv&&pG@f2=iQ@s75$i3Hk9 zK!~fte?!?PcEZh#riK!2bo4CKBxpr9k)#l}oWcL^ECNt$JhQ z(a-XQ%BKnwk=^GCi}R*#>PH}D;20FJhV5JY94m~#0|fGV)U4*Ha+}%h!ejr!W$$wa z8MHNh#zfoPt$CzHO;VV-nHB1#L?RdD&B|kEjPaCkTA-h?cv3Y=;*E44bt~cVylG*^ zwchPfkCl7mN!>gmJejlBz5XP8b;~`wK6qx6)Jf-Cq4YE*DAWD^X~M)vUhb%&muidD zf8=hKnYVF)VF=In72&vwQh0Kpt8-@)B<6a(8oavChUdQTET6%`OFEErsDeqa)kLcW zG!kNr*dOtLFKF+Vw~cEz@4G<6mAC70`oVxOoLxMVu@QS(9NCtwL|~Merj06DMz(c4 zs+@brvK58Aw=UJN#uK3+IQ8Qg5-=ebH^#KJf}AubVs$CD3ABHyZz{}%U+e1zg`jy_ znzl};kpy_QmM_=_>l~SN@jfIRj(EGSm!P-(XC+VAg>HZ-ILLm3&~Cf*!#VN&S|Som0HwvAyHg>%kt zGR)LQwKDJDoZ1H#`?Goq{c=bK@sY&>=Vhh_s*$Ysa?CD{_zdG8TN&z|v*Z8Hek<;} z2$ova;1<4GbK2#uRYr=A1NmUFaj{oMXm$|tx@Z4-5ok62z<}!9LZ`3)O0bjYw~anZ zX+BY>xe{Ylntd5nI9D1WBK(RYZFCAn8g;T`jXSS1T$|PVgRXe4!@#V0Xnka;HcZ-mwk511ffc^8I;_h zwEH8mJMEXD(<0)O4`!s^Crg^~719;3zMwxM2#H!UV)m6+njn- z9noL8K=ckaY;h+GDJrv67IrEbld|~1Z$X66n`o~ zvY06W>1t$O3M&@}>j7#UA#U2px!jdzNwBId$}PHo9nYu!O_oYMMhC?)6f`j1H+REf zAg_}ureRstTD0#$;UZ3P`kap=n7GuO(IK2+XEp2dA8szV8~aX1izTTlk$3p*jb|EU zGxh?CTVadxdZiQy;~0t)Yodr0PXOf5)gnw9zT7ILP<$wcX`|8fF$QYHur3~XfCm(X zTqYq~i9mVm&06aX@hSM)vc&`8MV}_EpAkuz!E*sfgXs&JiFJVPO4d zF3n@v!Q9PoXZ>qpy}~KzuaX`+Ba{*+hh5HtQD)asB=w>`&Nyh>F_J)MdE- z48t?nsjdPlO`fA~GdbN!gKfI|MK${MOvQrs8b4!Wp8=A$o-Er+S(Dn<5Q!+u4X;Y+ zr8RiI9<;5paDOdr2-2Am`%9V%Q6a=xef=#eZV`R~9)iTU#Ugq~LWr`6XkDg5K;Q9i z2?8Z*s-gnkSAj@cJo@&G662DXNPGmuzuRnibw3k8h)LLO1qL3%(8%PlF^a;$_zsQe zia9=;Mq44@FOoO$zw{$gyV#PPd6>jQ zCkMSzvtuW0wgqj@Tob(Lh8nsn;XN&KG!L2{4DS4JgeSxdq-5FtmXfj|scruhWEmu| z3jE~;f_#!Fp1xN4ihwb7t}!D&d0;CCWl&T3=MtkIJCW17)E17o0O+_PRG`MP?94eS z?59E|O+1t3?_-~)dBR(vl_L1j zAg3ItLS?Z#k(@pIoi)AN3e{Z;zv|;y9u2#L6woUk9pt1=#EO1VwvciZFAUy9N3)F| zjmfkYi)&-c4VC1>wH>p-og+%K>aKrLpyjT~GvD`tI7G?X_-gT9m2-g-PcOD$Mh)XBjsT`j4_~Q^M+jq#_VJ;p%XoKPJ|wTUPe(2+76WAj zq~O@A#F>Q)fRd+k8bzQ^GnoI4LgxWf4*c}1qTwnzuz=51`zg}ALX@jt9g&fR$bJ5@!Bl&QmG0XbeynYr#SLI9A`GKw@UyliO) zV=u=}RZfaQ%<*x#>x@8&p=al3wP@ENs02p`=LNe#69IKEzmmHLgxEj+bnm~xn8?Z> zgs?nZ%?{(_WJH}=&jht-g);&cddU(Q6oFkQ_bVcglZ+x=F} z0^b`wAfQP#?NPc17U|Bwd@#@*#9-ILC%Y$qo}vtbNGY=YHtSY@6_GbG84W@Np{#K4y**3Xwj8$C^h)Z0q)bl)-NJHIL8OC9ux2&~fLv7{Q6(LR>twE`cp-R%eH0B}T|VN%J%{ zfP$hRw?;#ki-M*)y^$k4D0!v^lR2XUG0by#|Fng z{m0|v_#X!${nzy$$j#0D|A;&stZA%v=pts^mR4Ns7TlKH7TjiR99CAmmVA7y99G;` uW*mHcT;^QDh=TuL1!xEq7DjY+Gj(zEaq*< delta 10847 zcmai)RZtwj)~#_Ebb>pBI}9$t-Gc>(;O_1N3^KSo!QFyOa3{DsfdIjR1qd48=2YE> z|3CNPcGarxTJ_c1)lXfucPDR2&aX;_gu{m;gd>I{g(HWfw4lz+BJuDF@<%PqqP8#0 zqH#|_j9FGawpg!7{ZC2%yoSEM;t5z0VXo<5pQT9AagtmTWw(s_0o+#>sRjtOQok2# zL3ZAIGTRL3G*9I7aPssvu6~ZMDHuFFUUA)I+VaIbEZCrT32ws)V0U&gNnUeA!_64M zZVIS+P>z934X}SxsgTy3F(S`=AXo_P%s%pffNr&NV+1uhptZC}GF;wtVEaCdb*3^h z_c^5+i7+%-0Wy09;gaGL|A_ zaydjjo9~|X149UnK1QR!Y8hBB^91U4S8T+dA=?gGkf9(f4KW2~XE-%~k0)S^o50vE zw4r9ET_C5U{2Fn+)s{xSKfp^EF3`1gV=Y!eCQJw5a2Ro<>Z$5gJh%J z@6k-?#n24Bn}*pyn-+4eWlhCR@$#kzMuzMTmr9)Kql z35Fvvb=c7)jmXglMN^}Lm=fx}WwDQsQdNm#HOM(B?elv}ymx&QcPLag#q|JRsEayG zE)A5HKkgk;yE1oZGud3+5LXwgNm_3BB`Po4DG>vg%UzA%Yos;oFj*X$h}CKKr&K|NZ#KZJaeIWA5VDuBx1?90%FQJwWbQJDG~aPltIk>@jC|@? zOU>rS&P&uI>=-|)T&yyJrJe(61TlT2V zd|?ZtO~W{7<{kx2YNNWpD=Z5cej^)ZbV`cIFyfI*JY{Ehr_yLaZ;)w6&e&}yI;u5N zHNyQ~{F4-ua3Ebo5+DOuDRDBJ;jE-CUnU{2G;jK7R*6G^vF!BTH2)8zGte?lSzLc7 zrmS15;KlX_$V-Y7BYy@>^Nd0Qqll=OPZyU;2%kiKxv-KhJs-F7Jb!)890T_|QxB*< z%(vWdb+N^Ub^64S^4-#gd%-Vb!9Xy_dcHzPW|VaF}=~sJFHo|b0tap(snE9 zaO!7RSjW_@f^L4?5K8W5sE!Z~BECU(E9(}#ARWFb_d3?I^}6I^c*cdlH=KW?-Sb~o zxO^cviX4FZBmE~4cL_%|gQOSgRhZPhpU!$#uTJT;p|dlXZ%2f>NnUZG_0cXF%l^w1a^_-H)&d{4$?7sESS9F%Z@+N2P zb+D%?ClEsh%KaqP2<`l!+PuFUH-IEQk*uyxGP`gsM5jM(K;4@t8?<#$AP$zYn1N!%jpw~10quBA&jzxgH25LObD z2_t<7pjJfz82|G`@3hiCYtiM+y^)+}N zL5ve|6FsQF?;>0Mgmq@Fnx1CdQ5$$4Ta$hZ$he}%`uV~9>upskU;ISe^FsOE4sYmD zj_gwfdWo%WcC1mJ+;lPg`1jRMW-c$7rKM<)4Ap=_g~ZPSu@s&Bg$T*2P`YU05`%`> z)a;k9q62gfTbF z?ku96-oIo2j#!lCl7Hpi3BD+FxH1cgvraoYu1YgdOpXRMJ?zy~kSnP7w za4W(bXA&uy0U##4I5sJVp^!lBX zY*@Sx)`BTP^V{;P*2kn3%0(Mmj+4>|6uo5(`SFmg)z+*zV`gJ>==MfGTR?U8R-}L- z>7xhjgWUVk`V3RD>(rHPxBE2=J(nFJHUQf82*I_%r+8{DR_rhl)vY4K%jx(9$VVW& zlD^{(hGTG>rh!sJtvcLHCNes(M`IxvyNex3gW33pw$)68@Jy_^2+$=1TBc18IgWI1E5 z?k4;(Z3(QEtzlT%KE-dX{7mqg5KaTn4iRfeT#u_Er&hH}p zWoh11znWa58f}{^Q>Pq{Gh}+bo{}qZ=-R{lN|$)?`tH4QXo>yP57FELbU=eA%Fzl4 zP44pFn)Zf@x+MIER+z!3Pw^OBKYdzON| zCmrO4NGU%rh4emG`e2T5_-7VVbl~?&YI##tLSS!m4^|^>l zH?~l3#-$)N7ehY9HSHxjXRPv58eS@_p!rTo)>S)+cu}_byO{$aPW2prHC7|svlXn= zL06X1R zwrt)h+5_8v@&I3>hrhRQNUBBasM$>|xSz-;6e@oLwe1i;z0@m0+D(5Z`?(WFUHfy8 zL}H_A^@m&tR|E8*2Rbk=ID)@;Xk4{tS*i7EA9I+q@Ethe#sPnZ64WMExJhsBCtp$Y zCryBtE5o5MNP-F0AmD0y$I8k59KIu$Qy@_fif^5yzQ~4B^|WKUY!}u)eA9|wa?kCM zJ3uQdpa%nWBl<=gh1c%<-b3hSATh41Va_$u5+?*SrWL=Veo+^W>?R>646e(K;vK ziQH@p<9eXqY|7n^GnJ5NwKM2o=$kH}2HLV_?IiE4MC}vN)S zr3_#QDW^P<#*7)TGgsRssf!y}Y8}O&@Fn&SzY<$Q&Pa@Agrs1H8{YEv=g}3DuRVSz zr;^_Ie2cfI=h3WD-5^J_sM=B)Mek|(9F_y&)Dy|iq#iUodFnoS$PRgZ#a)nG^<;!X z?hm2o_oe1Xr&I9V;i-4!i8T=HCPT8c3MmnjZB2xdG`{?ruNzF?#8>IPzy?jT8#bIMJt9ag_8u1KY*%alIv??)RN`Rnh!AQtIdj{cdg$|?VF9W=pn zoOs*j_^O$VY)mB+|Gw)e;GhK&a)iwd2VE9>!?oYd9*f$f<&*3{IOh@fL0!p118fEe zxuC?-vk^F;b~^f>)M|&Km|d@hi$9KGf-bV3qou0aKuBQzhS_dgmuGd8#j^jG$@lUpaFL68R$FsCLFV2#E__I;PoGQW}lHQMycVDvjUhT9s z>{c=@7WjFd+(@c>U5prMMb2|;Yx*ijmY)H$P5_(>BdaF7NmyY+%y;U))kuUI?40nOAoBk zWB>TZ(}c&4WyGCKBw13e;X5@9K8LFf_FXRW{~2ZUJSq;mA}D8v*gMrlQXa)T%|Y>L zHqwOg2pVnV%q1K>=noE(sPGERPfwjCyUo5=vT4SM>B}mxzAL`akvac6qVmD6hNV~X zK|*pjNmh7#!qKunv9#xi`EObqO958~5vEE+==fIq2h_w&MPx@dRkUH_nVm9US67>N zd0yW=Q>}|Z`H|6Gkjl~nHqr)_k-32-eVpv;Ism%XhDCRgz~h}yv$`{WQloelcVB8@ zUM4>tAYUzC2e_V!>06$u>xEw-Wd^5muk9F$v0A@+I@J>{5;^&)k$UBpHdQpJPO$zW zn`q3v*z_+J3ZtD3O~g1V^Bdo%FUsU(i_$TYG0J!khwL2Kkd^pV$&B!Ec{T{KWy0}F zZx`x-Jv!zvPg#UN3Cb+iAQSKOMKuGPCyV-t$9~on;;*2R;gTZeoBl&h3iRg-a>Lx5 z9Zvo{W9SPc*yq}hd#}rL*tOEzC{U0QfyL|!Yamzu%mos4Mt%!<2+$eS=MR+%jW+uA zA}W6X0^7ksp67Kz4d$z=?nKnnrp7s|Of0>_YQT)UG2Nu<6J{I;B~MLKS07-361&vcM&umRR3p#{@JJ-m06#L zv3F?vnQrc(W^9?1Rzx{3s6D^&Fx`35O%sio5x?K*d~9MVUC?NT&@$?K_~flxupNaL zVM%p>uSltTy23fEY9hTM;|mB`{(ZKwKk8Hs3kAchgD^_zzgNrX)Q)xjTk}hu8k)0- z3#CP(FPLnhGmhq3u9( zTak=~swme;BM(c0>$=IsXFYnyO++edxN#sSk9oaFs@9F7-_(U3!m2v-S^}(5E+5Fp zU5uY+sPT4H&3=7!&8{r9)2J!!*rNDW;d9vbu@a4DF^7+4{{_2n9~l~}IEs4-_mPNS z?(S_FCQ#@(Hti=ZSd--^O=zBOtY}D8`XTwt1!ivrJIN5!Og-7pr+|`)%~TX2Rl6mK zQjdP8uuP6_U63NdQNj@v*0ATIx${wguT>D7Q5hGshfy9xYwuoU=UtMQ8;heE$509| zA4%;Drgzyq7yFX={=hnm~Db5r4b?GwJgRcQ1Y)Zzb7cO0eNY zQ}35(iL^O}t(`0amvJgFGJH#Q?V&vSC6I9Ab0M;pcw$s?x&dm@hrfg(u&Yw^5zuc2 zj!f&YJJ3TsaD?0O-XSUdgQP!;d8#`5_dJ9S{a{(b>;4t?CD5!D<<5PU-{x;f@2!`c zS;m{8do`HG zfuwFQ-;}1E-+8Hi;Tlt&p6SHEmG0wRlRzNr6+8+Bc12-RhcS9}NO`OaP6W~f| zgTvmare{k2vVLzLGXcTuX;p)Kz1Huo^dmo_<3)o4Q8dNcKY&px53p^TcZk1g9H#^F zs8%-6tP4ONcoZ6pA|;Aj)J=Q^_&>0FT~3eMK#T4j@5dFs!qKZM)W?r~{X8EIZT*QPc)MRs-ZacJ61GMOmh{g$yk017fyT5-S)@EDMT{);AGx^ z-HuPNcX5qkvnE9l-ASVHU_0KUPh-iw;(PM1oVLeSsDCNqIQ3Bd>#U{ti)wqL7i`9TtS(dFy+Je-ax&W5441VKNp*0habVT*NxkZJ64TX0I zn%>F6u)2!)^>(#&1|CE$LVQVGjR9t*ag*qh#QED*740pEP79#3*PW;Q*`rsVT4=j_x7mX?pfSi= zNBv#QiZ%YG>Gh_CRj+X_bHS8(xU8TbZv_RY_5Mc7+=NIG7`95E>EnPwDRry8+kzUDG zShiYS?bix1VSeS8aw`KF#3Eg}`?)>VEuQrEnt7a*?^=xIS)zm@Gi4kypspBqjonXW zMxg2gh_3mMm?a*i@sKP$^PP70FM%RAYa~^%YZ4zVZ-`gjRU92I!|#GlN;l~zKd<0K z+HGjr-(yEP3@MUYv&lE!vlf_rlOp;4gEEL<2ml5|B%^?z<3lzY#>c#G za0eq9NudY3rpk}kIVl5{RGZp%p20FD-q9>*tUyV{T9zeg%glaS9p-qLRZchqrLtrK z_ZZuGEm^VP??ag&F)J*doWQD?6!jLTKhg!k%QtL=Wbkpn^2t~SdE()ERpfVUdLB=7j2?yZkl^f9gu$@Z7^mGNs4up@2hle)Xj$B8}BV^p*%H zqS0Ps=Z0OLL|AznPQntrqKC#=>!Vr#3sc8HLfuyhw?7U&!>2A9TuN~voQ>a} zB>#CH3lgNJAyGN;Adc;Nc~AU`@722-(|Aq7sraLlxF;@B3=XKgVq>2FscU}Pw!l=7 zL^?y)HXz0@592aMi+aQr8?)Hd^#+}i90hh{?v}weiq#L4*3!Uz3jnU9{_By^`-i3D z^PdJ5ceLrOf`l1iXt1f-_<7l`FC!(s*3fEvK3MZ>W+vqnfDzuQLT(BG5C1z;ei|?j zc^mgt3(O2wh(Bmax1{TPNNSb(6nhCs1>FaIt;V;9%eVyg>K-<8w3NY-m840HR>4cH z!t}HJfVja2@l1$6A(XI$m(77v_BNo_v%du27&b~aij^L;P#f?lDX3cn;NukEd`?f% zic&6lYK>kf!8x^lA7(p#*8O^7f_eh+Qt{`WQAqL~>M3N7bnzN9_Xy{>mFJU~1Xwfq zk4c(|OKupvqbe^pcG5*)t*2I0JKLPIUl~kcu;Qv!FkicUZAPMLR$PFBOxzms<<~TcJxjvVFR@hW^;#F6HV@NzQ!G}|#|`Y=@5l=p z>K8S{y}I5{7c2KC=#4-s7PM`WS)xU)>}!NqQlNM_nJzSsCWKOs_((b|&&7dN6`Cgc z)~jl}prg^ha7|e7Xp$7+?w%3IYDaQh4AxGl%~pcD@P6L`C+Ob(4Hij4H0+-Nq@~XQ zC&e68mO5!c61hzsLlZLPgo?S2YP03KzXYbT7e*p zg<}eb4nkUFexzYkDRG3)^6|+rd=B!2_Cwp5{x&&1}^RcwS3j%+e+B@Xmo_}HH<22~HG9*qIb%nprGw<4?xtp{G9 ztqri!uNrnA%h}O#SEKF1oSWr6sSi}>^O{p0z&JM-!5$FQ=>ZE2^TaWurT8&stKMB- zOyvx5#Y(;TV!cq`KMkM+s!eLxAv$ZB&|v~{Gpim`-D9tQJsq(}hM0}BKzSy^o;$yl zubqjB5U?oHvw-$}&`h5vD>ux6=$rKph~qb}VLmF5jZui9-SZQVg4|nHE2EkW zcGKi=5Lu1^(7hvDUiVlk3dFBSbyt7tVw3pvfih!W2@ii2has0jsL}T=>*S(h7iGNX z_|jM?1kQr#rPu4?2JY$N?mh-3SG(9QsX9u)K@@-B>V!RL436n|o6rH#DR%ou5GKUc zNMy|jCiiV#R+)Lwd6yAh>UdNgttXiv9rm$zJdHfGNDQ|I*&fqX+!Rk{<&s#f)ZL)I zG*zE|pz_y4JOmk}sQzRo7ZDg&uZcH?D>DsTFy;!}sEtu1l~@;ExBk&pCs5HcmbXET zhat#oIuAU4`#PPWRBay1LK>gD&-vnHgVvaqtyxqP+Ks3 z$zmeD{?7Dn4G>3XXFr^EQOZARvoq>ZiZhtGzCnNN^4SQzneCx=OBI@@a0U?-Xv4Zv zGZ$4nxo=~9?tuRM9M&7C9B#8RunYaH`sLu6C8)px%s2CI{u?K;aFdA(N+Td4qnGzD zSD`tuJ(!VV{gzI0v->tpX~|Me?KEr6Ki(6<4<1+b$fA9__#%J4;LHn?yx~LWzkhzd zwOh(~FNoHD6#<- zF}u`@-O+KuxPkv<2VH6G)lXb?afr<8#Y`0SM}Rg$<=tG%U=6ddCanrBoM+&A3VSfl zpQI#bTdI=_$Ic(Q3`v68-0a3G=XAwJl?T>2!P(pl=5$QE0b?P9-ck@21Ir3ZvUCXawANM?$Xr93_4?g;leXdu8~Ocl9(|$$mP?iz^<}Hy z(of&1vqbY4u0Dg+Q=|co|9t?K#y zu%#qg+vL{_4XWYY1o2%8L@oyY#SVyaF^-q~tL0VuOd7?iQO1Vu&`d0!5}hLQxIY5B)>Z7WPttcAS7K*-^=sUldj>l_b)gp3F=WZ1dN1 zSyQ1_b&3VV5t6ANO&=_?4g^#QTn?5ep;pc6)ZBz0`bw3@7zc@ z=b*1~p_*^Ec!=H@6@+KujgqA^zdpUW*crY>#ccxq3H_fi{t5G+u>J|VJ#G`HJ^{!B zGGdbQvU9Wqaf4;KdAKwG%{#%!Twp=4KxVK#kn;Z?i|m2QNW4OPTORTxOfEq+vDfu6X53ke>g!QzW?%gdAR>2{U_#s<_QV? zcMV=19xk4L9OQq1LR^AeLjN)UhbO?x!^`zwf&VxjF#rGJxWEFu0=!)R%LD)8czFf? zm-in|knew7gz{gle siehe Aufzeichnung - [x] restliche Zeit für allg. Fragen - Alternativer Beweis von (d) durch Argument: + ``` »Sonst wären F und F^skol sem. äquivalent, aber das ist nicht i. A. der Fall.« ``` + Da wir aber uns aber auf einer Instanz beschränken, passt dieser Ansatz nicht. Wir müssen im Einzelfall prüfen. Vgl. Unterschied zw. + ``` 1. Es ist nicht so, dass (F ≡ F^skol) für alle F ``` und + ``` 2. Für alle F, es ist nicht so dass (F ≡ F^skol). ``` + Wir haben nur 1 und damit kann es durchaus sein, dass für einzelne Fälle F, F^skol schon sem. äqv. sind.