From 04d15498fe4cd65c5968790ee4676c62d2f76758 Mon Sep 17 00:00:00 2001 From: Anonymous Date: Tue, 7 Nov 2017 18:19:32 +0000 Subject: [PATCH] Update on Overleaf. --- datenmodell.png | Bin 30879 -> 0 bytes main.tex | 390 ++++++++++++++++-------------------------------- 2 files changed, 130 insertions(+), 260 deletions(-) delete mode 100644 datenmodell.png diff --git a/datenmodell.png b/datenmodell.png deleted file mode 100644 index 5b3d16231ef899bdc61611312b3a203c7bfd704e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 30879 zcmc$``9G9z^gk|Ap%T$lk`fZSr9>)3_9Z)EhL>btC(BTVRCbZAiAdJ$Tb5xgWnZ)J zGi2=B$i9#7HF~|@@7L!q`2Nsi9?jhMbzf(>&Uv2aIky1yC-SH0FVa&{QJqp$kkO=~ zqMoIqIx=vA8hqnrIo1R|jyP$`OH<|ix&(fqI%*-MDn&(=AIh+2LJR&+=cu6XL`8MF zhVt)7gG1VLDk?W&MHwk=H>1T0uTLz!aZ97COPiti%rX8FR0N(2i`413dsf#$p&+}n zbWp{)k#DZKt@ZZ2ZyWPb)$=rA3tY%GYyLn5U)qbGk9bMn$y0oN#2lf2j{Q9MT#TZF zO5&UEQZ;7o^~X7gC}>ozSIlLuXK9W!m!s9Y)W7QKHba`rn9~w>F+%@J*NXlQ_DDt5 zbc93^=rz|7)DiIcDEu{!^7R$P9|+3l2d>``(kagBo>Yxq}K>itf#WU+w+GAdw$J7XP#5WZ^|#Rglh1Wc6HcUSAUw zjP&hRK$e>JO6G?L-{SHr*37>D&G_YdAKRCIGAC1LsMJ}3O1ymoTE>riuCIQ#uxVBP z=H=C0ZWkY|!Mo(~Q+G^39DY&xZJpUpE3x>RJnCa;|Ci%mJOb!% zzCf0)y>ZE0>Z!lJOifLdMvtczj(Hc@(rF=Y$7#!Lv%p}$ITe9JUzB-Al#a?-Wt!!8lo;`*$-%w z-4WJtB9RqiQ<;j$v~A(=gya7C=8ANG-tTR5Fc-bS_Qn1+Rv23l42N5`TNFDO=aetoQBi51!qaLW>-8!QD5rL6-*4AMpUK8L z3qbo@3pmcvr$v}A!7^}>OAps()g1hbGiMr$y;2BHfeb!6AB&kY<@<8bWG$G3zb-uI z6QYp)#7EjpUz;VqXMW?}Qf=GNZp5imXJE*CTPXHJS5!a31;vw9mVJNyBn`Xzwi-KI zl{5yZ!_z8bclWrRlF4||(m)LAkZU}!mw+OADg@GG6Aw5r*)flgr zUjkZEx|3iqq*$R1h+tgQScVgFH;_y^=7mIQ{jP1U6z2oAMEYzySNphZ*TR$>lBOOq zjF95IBT3%tyBX%+;``QbVC<7S(pv;(w^!!_PUICP;F44s0SuY9Ej+Ex+Hp!FO-Rz! zNLOd!jEy<{t+*OEW2;Y%}YaS+xWn|6Wn1qR&^LrWoyPZFe zrH~08WA!t2KH)qltJhfdMnvUGTlV@H7`8ipQl#%OoVQQ| zSmg(Z1de_IEvMq%7QgJg9&ip8*o#Pgj@wbw=a;;(>x+YIOP{%Ke^_)^eul*O1~9P4 zwB!hM6(35GK3&X+a!nQeR$?)-PZr4qgtK z7c07`kh6OUt`9!5*|SGF{L-_sJe5O~4%-QS)5G=DzEF4saq$LZjFp-%H53&t{_as; zhA*0XWRo+)2eBBG;&7LCkm=)lA60ld*zNv(l19N?*uFDSS&IBSXMKxjb8g_#K!%hA67d?Zr-7-WDSmQ$v|OGj&97gK zJRqdNtXun+2(pXvXCvsm#<+n6{PYRNlz9Z0d&I>iT z-uOc{9{y@cRJ6l&dsKw#k?Sa=HpN=tKM!}kWm#o_KSjf|-D0xeHUHCgz zJu%~Ue`HJHgTw$9G3G1hm@QLrwu0&i`{D{k=G2wU0tsR5xE8NB)T?;yA z7`+Wj%<;G0Ug#yNuUw88KC2hVgyc~KyzD(68wWjVSm)%;?<%n7?tp7uh8zcDC`jEw6 zu5lf_Jx;}Y44?As3MA0>8!CqAW~mWY7nY8ewfsEwIcLAREYzY+s70p%NG@ZC>dY33 zSXTOEpLC1V)vfb&u`7PN{=J{YF9B&|D)qBiWwS?cnV4#X0D_s-SuJl1#}Lr6klEK> z={{d|d3S$i>6dPt-8Iz?i)3Sy=c}yB(w8ugP$tBc#+u!2j@=BJ4j5I>QIh77Gcd8X zF(@elM_Mwk5#YO!(n1`EGy)h>=PfNzW!KrA^XWQ46d5$bpa$po*H{L&10; z<2@n|xu0|j*g54jZtDng8OU?10Cx+yO)R3>l-L(od`r3SY%nT-M+B(!MVp=|+G#m- zo1XF9}#6t}wxTPqBYm`WlZ`}JS-!BhAk&&e>n<5L@@i@!3PEPYfL!$Qg z+-AIgPFr%=k~NeyXQ7HZ69cb(yiY)j@y#1In-92>ac7bR+1b^y4P0IW?bRN|*RfC5 zP7;fpGj3)>U-l;>#+=rSMZ9*p%KRC)RY}rB>Gu961QzR2sz8(;euMLOD`fxyFb*&4 z&tR9yiMkqcSzOG?oN0&pQTY!99E2@%wAfalB8K>^YE9 zWovs8pRgTcU%lqXpaQHqp9_o{+`aGvu>kVS@%U0vuj!gGLdpnHTG0=80=d0C_A$SfocpKWc{SnW$lAi&u~0k3+zOImmdhWm}xhCKmO0r z!GK19w1Q}UY8K(nEVy<9ce%)j_esKH-#Jq zWJ1r(;idI7C`DiF(J~5x-nf|(ihhB9r(=GNz&#XGz==!%@-`w;5pe$vM{O=Ba)|J+ zq#d_n2#9b_h=l`XRgP8J9j`_(E(PQ@+vee9J_~xT2Yet(d*l2+;5w92+XY+&2QTPA z_BTfgEI((rqL~B!SHj0yIOR9BKEz2V-@oOW8i(6Ik22rdtsApi<>5LmCbnVh-KR#r z#TWJZOMvB0#=Euae!4r=nIJU8&u3y7z01Xiy82a+N;r7R1@k7{*OgQq=VN*h%-127Z@5}s$Pvbb4Z0sdK%7Vw#1e$5 zTv9F&xC4mN`K8L`M4)AFT-sSyVBV6?zLiw!k}F2%PCx*;&^y6oDV8&#tm%UHIkQvEK|__8 zq>tyGB}!jK=?`yy;-qLTk8-ajN%})&Ywcp{ku)0BG3dq_STn+Fvym2-29%CvU;vL! zn}Uww2*SYLmWoxlWKg%TlHy$}!O;V2fZVdQA!utCT~>G?8nJeU#F_XNcLr>f^ZFzy z{35b+E73(M0JuXn^IKf`o#MS_TjkUun?Hz`Cs0fp-G~z)#CC?8qr9=&F@K2C8m)+5 z3ztcDZO;t^qQ95#Rhl-Xt&oeWFAddN*t^%K2{7i4dNlY%uO0{-M5y-BYd*P#HzWE~ z-mK6wa~F#p9>m$Mjk-26U{j8v#$+`Nt<*>yh|ZYk5sjDQANIL1m-t{gjn8v=gPR!m z=b@vs42x{`qNg5lCHEn&KvAi{6VoQ42-B9~wEM8W#Ot^#UJJqKrp6U}FExI;T3U9t zs23Raal`3})S)0wr`h$IsxvLvRLZkD@9yPjOMoR%(H{10vym$1O6`A~x>osc3_rmm z&_}+ycFjU(FiKkKSoKI}OqodG0MQwvo}P^uBSdBi9S{M9NH46h{QP<^vWCvGW*aS;V>US0 z4C9uP=kmC_`*bc1id&WMFGLfPQe@-0*ZYEOZPXH~JOZ<|><6}T5jK4lZf=Aa(m_n= zAATF(_ZiDR@}koR1^XW8=o>Isw8P+UPZCshffN%HUEtWB6GjNK@6waV{DvCcy4tPr z#BR7O5uH)Iazj+SYbJc+`9*CQvxprHQR?+0` zo!|uKz4zS)PA^<|UqX1_PIcAozRRL0ce3{qLN(;}_$%&;_8A}f{?;mW1G$#S5H=2i zV*F-@f2E$5SXLEa)e2Wnf^xIKkTcx*4O1T)eZ zP}?amx7Aagsw#X={=L_yrkLwV4BR`*Xf;_ij~m^+Gwa^$)!E$9i@1bvYh`C-=XZGu z>#GTgnZ*7{`nYd9Z;`V8=gE)fz`NFHOFkd_YOOhW=v_s?yEvAry?**RVOk@9$%}?) zRk)e!DPoQl@6|RYUaA=C)4A9kbBd=yG-oC@+%VtjjkVH<2Iu+(eZr*iF>-;6lJZnw z?u7Duk>2L$K}E_2Z`vDddyBj5iChZr9kpxPL)H9o)A)pzGfzKP zVr^EZ^yTJ9J4BhhL*M`xRT>I%xb`p)TX6jwP1$FWFn{Hg zbXfqnUck~v%udnmsJU+#8PZyD{XmGE@^m=n5GrKdT$55&`b?=s>>!i-d%Y!U%&9P# zY`;<}RdL(s-X4DGSApK(!K9vz3#|B&D{}M(Gi+lb|E|ycQ?2)7Q2Y)t#;&||Q}R#U zjSJZ@tAi0gV|?+~d99n#jPau`@|%HVS?jocJ22eWV+Px4-y0P@x?62+pU< zb$C|Jvp(NV?2OQ!UKGTX66CFuJm$LrEi=L~`pv-1{d^ib)<`_}|fOiFyY zSJO$-ebgXMb22YbPSV)~ta{H27!R+xjzycyU@R_WZOGn^tgDgz1s~~9()uHFxHXd0 z1&uT~*PD65iYIEHR(@0UB1gpIOly+-^d&X0+lY}%`ojDV%X1_{a!>u~)A zI}y%Uia0;wYq82Ppjrj&L)EO}XIB~Kzc?nj9&w@zwj=QPvFV-=)g#Uer10B^$P?7( z$4H!jXSzDDm^y1rK2P<}2P%|eJXZZT#JTPWGd(RVg2`FzZQ38&gDzM-f!W!gA3m9F zuohq>5zfJ$FYa&(Ul%R+u`2c!>Gr|ygR+;!0e&FwQ#QleOW=+=#Hc+r2syb`j!ui4 zHe;)s%DF26&a=H%izy{**Vo+_TiGsO=rp&#n>xCF`hOQ&Y0ROCFSo4dfYlKwnDV!b z6-qJla9b`;7`!Nh`@BjPi%8L4Y>Lk$htT{J5w;3D=BJg(!>Y#wym9xs8&@!A>k+&K zm1#@R(QeF(?R#D)A9W|?;F6zGtQWRZ+LG8=QW!lu8BZQkS?xAhz1D8c;9nMTQ2T8< zMUk}V)b)y%L{z!fV*Eq_m2d*B`0nsH0&aLB^oXTBiwnj%h=TPs)lktL$Bq0w{qEqD z7*c0y1lDMi%OWZwtv-u-s2ILjdGE2g_7Uz-<%zj;pgjSxoxa@MHnP`%kuZOtQY2%7 zvXa?up<9Ajx-e>REIAaqA+SWKX@6i%1M1+fiMV8=!~K?(1tBwK_wBvvLp^tpOKA^o zENpl$2FV#M8V~h_FB(ahm}nJQRtp7GdIX3D zu9z}RRqP*9_34H-0{_-h^%Y=k4ss_7Ff8`~du zHWylo%`v7nbvAmZa2}NoJWCsexewO*K;o?RA>@l8BL;}B-Bf^5Yr6)HNRYxl!H01# z^7#9*p13SxPyN$!Tv3NzNW}@IuZLx8Gfo)|Y;qozAHZ-;e@FV&Y4j1*5I$0u_Mxu{ zS0gUv_s4DgOt6jg{q(R+kW8w!ZayH(``iy;;66ekD!iK%yxxI;*ZBY^y&}as2DR}} zp6gFds=j|WE8>T5rCfgl;;E|Gy6Jo+j_5v&47k;V!o)Nihg4B$3K~!nYx<8OVgL^a z9BGT-qZ6?qHft02Iixp|qsnqWi!IQZ#kPUFnrj4M&F>{9LD8CySLI+;s#-pfOEkAu2I9rzlQ6_%lp%6&% z6Uuu%1 zeQ=FLX@AEloPCpwmp-vW9rIxT zpAt=Bx0%xYaKg7mDB9*WBT2{4he}i=*pwQ_Yrv6ZL1!>~KP%QW6;M~hU5?AlFj$HZ zkr*Brg-Za0#@-~tum=SLa&}EXD)4i;7d^}O?gOy`2TYwn*>5>LoAQSw&Gp3C(!tNS z9`GreswYX*hb~!-We8xnnS{k*0n>OF_=?%VV8q;EUB9L&3vN<24lgR9>XA+&&=RY` zJ^{hU17$LnCl=t`z+Tw_hY+*_DtH)ug?9R3UB;4}02T)Yr~ei%=nO1FFvF}A8A3IF-pln)oU3GlK%v#&^_>gAc-POM!>Q+0r%8JsJj8NL=k*W z`)R>>*EC%y`#It3TW{&mGC2-HYhBaNRT0)Yldf-@Qgz8*!~5)?P`^HSu*pGW{g4D#-%R&i#oe+8gQ$IlfXH-OG!j-C^A0we2M#8&QgaKCOu?A$G6P7L;N4u zaRQaFO1u9PvuUq;HIq!v$4~ArA5s=XXP6!`KwR6W+vw&{9%8|wk*f#cQOjK)8B)33 z5bwU=Bzn?~E>LZzyZ4aRpkf8ei3O|_UvgpDz;>^^9Z%=hA$LPbEnJ<5E2MkhvjI1qH=Bx9Oj)$00SDBM3+<*eNBgXBJcnMbmYqTJ` z028p|tWiqICs*WtL(4}2x00cf@o~nuw|4Sp0?aDc8c@asc)uXoEwq0D9L1+q}gd(fp1&`C=9T&Z^>N82QpbGxWD=rW9F(|LlHiI=P`@Edf@I#TO@fxPBhKo>>BGGwx;3T^*`uph29|#sj&A*h%t$!E% z4Fz&Z0dG<;Zr(xj|2-7Uw0Q0>;95q!Y#30A|Iu0HH?FKyY=_Fyc<2a|4ZnAYb$i&b z$`8SFE@Oi@6%#?aN=8jIYLK6rd=Q%8f+ z;A(P#aZ2rke?`!~{_pM&^ZM7z|5>T)Fgc$Q`_ERWfi=GgUVl>Fz(GTy*?~d-?(sAT z5{ZXqKKh?;FCOk(=074PHy!$F*k5Nk+|LcC!%AWCKTqDl`zQn+rk_O%8xpl?8eqCe{Mi&Wg$yz~>15lRHED{Bk_VcMt^OG*_iA*06_A!!45< zgzLdSPNQvzcp;I#ypXg{(SqN^mOW9eM`Hij5lsIY#d2v1Py7?o92WlA|(-(>7$8^Q^gJeEb)6JpHbDtSg&F0?hWm*K&mgCKqFKMwSKX)j1shvCH z@jTR2@mvtDT>KXPT9#~c&jsa@n8}6GYUNxGvQK`-T(|AtTH)xS-$HbgkjJ^Z`wjbd z01aWI_T&=0e)yk>`OHwswjsU3zBjvYyPa=%ZP!yt8&Jo#fIpZj>EV>K0M}i+*k2t z^4nuAPkpREA8}pzZD*I2VT4C1!7i>|C|&W~Z1`4;XvZn<;ZwZQmTGqHaLmo@lTBXT zY;-!LS^9KSHcv&jAGFNP8>~;;IKxauFdthfCF;xeFemOM$sK~tdda|aolr{#pbCmD z1X3)l11BKgN&l7S`4}g{@n+#~xV+sfpp5(T?{T4Xg)Q@s4stAW(4;`y+!k$iGKJz> z*cLB*$(%VlS`CeC6ES49G*3gNl5-ec#Q#*?6x^RM3>x6EcE)^9S}G5Ve}H)9%Q)nc zH4&Fji!n@T3%+`8kNXu<^!7ia6j>nHmweU76Kbrp6YZjy&&+{xH??Yy zpKI|*d1V=zP0ymA?_N2=yK?-_s+xiE(CXVgy|t451*q!5tC?O+zdonh)K|!?iIOCQ zmqM<&!O&$R(+l%SXnGrDfFGiz{-CBTxnjFEHmm(k*4ha4v8;_rc93n_?gr#^dMf*> z>O3T)SqLf*&~>4NV>nKeCo*>q!+GhZDF!QfU&&! z-QLRLz)Bs*AgD55{c8rJiRt^)pJ?;bMXr+yRH&fa_wP0&#t{pG?x85UaVVi4_fU9i zQL=ATr(qd-7_qyV-SO>}5T`Ej&Pbg^P9JV9b{r8*jnv{CRUr>QmX+WLPMXN1qlAQW zpc)!!jjpS#Gy!O*?8x7seH7P%dl15!YhtQk*MDKTX)>7)?>@;C-D=dEnsrXe0oR8B%)+4@P248H1#KZS#Ls7(V_D-3EP?^MA8W%P`Hg&4As7foF?Td4%@H>0|c`Cu-zy)j({< z%_w8!g+GSf`@!U8FtW8TJEACK;I!Ii6F6$Ix@bVMsJ)La$PU_En2MOVZyIcqKl-M# z@j=55tYlD^=qY(k+0g%PVX}J=r!J4*K&Z6}o#rlWXs9h%Ajz4q z62L=qlyn*mvB$e(p0NSB8ZZ8{F}rm2o(T^D;=)-Ctyy_|93&{I@^+=a~zb7 z)qjuLAy#z682n?N_q^!|`KjVp!LRg(>PmDwRI%o@fLk75m- zv~s#B6j2DN8^_=&sY~J1zuWIDQzo^jx!lC-fAd(kd8}_SPZ7zSs01+MYJ~+$$sXIGX8w<4+H(+#Ale%@ zpzyA8ZT-|^ z`9w~d!m?Z1*k5C}0Q(g{^Dh9Gql{ksOktb5Ng+Gb$U8r?weLAiJ*-ia`vJ_UaPD8d z7GVJ)Vd3T3HFaTKffsZmt@Jm2ZXWhsiYwP#^Lxq$ zuk)B1h^cnDIar7O7V_DlMDSq#ZVjVx{O6(Yro!hr<(2n@Z&?YTas_P}F#>~49B+9jl|oDtBCGdHBzr?(|MNT3uCSn&y=Jd0>opU|0QYo#EcWaF z)bgo)fmhN)f2wQV&&#B;-)tKIr1sYNWLATDJsWEzEW?Hk45q1*5(jAlKseh@xVf?l zx(UvH_bB~}D2OL2!)Rqer{YJpywuC6%LPj`cCxkkVmI!FpiJ)O?-Uhq0`%?3OR08* zBXD`m0^Q-eV~@`k@RyU-$rl&hNoN}3FB@g)S@pNFp%DfPTOT_)esz4Y=)Gz<>{1dH zx=hQ%IMOGgW8CDGclW$Y@}ds9JK|vDcOcvQz;1J~kJ^h+|K`I%1!RIY5n@T7dCC@G zbP;qN41%LFN>4tBTscDj0)wxvOFEE)THf_GT+5`;Jm<51&Cj#Rg}#*pZg>K?VKSHi zFr78~XFYnOoPZFJoOy2@PT54Jd|d{1aAuv;_$?Tmaar}zo8;&lLd^Y!-h=K9Eh!vF z&cJKiJnrwg5ZBK}d;X=6QBQfryWQic?nkKnde_&NfM3QEtH0i7q~WOs8Geouh}x#1 z?>Td^W~YAIb+_Tq4srd4U_StHL8+=aBFvAh^wAM${ z8&{a^=E%s(#1B>EbK$o9uJNnnpC~==gV~F6QkpL-Byn{b=tkrIgh=aUcWR|mNGFqW1v-@K*% zQ~twdU_YNOkKhyU1|ZyYOsa(b0b??(fpw`-qb*eLmfYn{?& zfoWCWZb0(fhl81ZzF$rc^ww8RguwtuFi|?a6~R-tb#=tmj49|t(Cna4rAr7hyCZf? zFL>mKBZ>3a<;in`{I39sSB?YYeaF_gxjJB91;B|7cSgBS%+kbfB}qF*rORSlgpj55 zOV9HBeP*EtwYQ8$QmgB+jieQ&(JuaNYUPrPdIR<25MZlPq)`ceS#Iuvp?d&M3Ebt_Tc0YOogcceh&C_N?ofj{IA%5GMTiT6 zsf_+f8EikQ7j3|W8mo|%6Ab-^JFjz%gKXsl)BUE|hN;Sy&!rxpzY~an^G4x2t zm&|iu_{wN!ap|#6v;n6JjC@XLIn(2Pp~kv7s3K)PKae?@kv9TOfpq&YLo?~ggnpBsui=y zT)%zJ>BoEjmUmSwUMLNDIB&w~qx{^WH#*I#c{kL9@~@eRe_c`HJuA4zdTu45a_G}1 zyDscU<4xGqP>6;L32<_^o)+mr9MhrRY``T>Q(WR6;F*;N__P@AFp8o~3`~0>%P`oo zAZ`7jIfa`aqn<8B-Eom?uR*Vv320!0G>Ou5=qt<@1W{m8{k-<#4I`n<*E>61{oe?c z^gH1%!NKFwrwnoR=tUcm5@WFHpoZjx!F+dEzti&?DG}*!!>Qu!DVIr+h`l`KohWAy?6Fp3c@sem6Ph5+7P z^UPf!?`_o8cYnK7^!NUm_AuLjv`nBeq0}g{U@jp14H!m@Tq^~mBxXGJx(h9QMN2KJ zIKOM3EGc`X1#S1_E5J(JQKafelduzOv^|W#$Y7f73UtFCSVS=&cP4F*+Pm`geF_F$ zE<4;1uhhG8y1;+fiz}Tx7 zAb6$0hLe{MH5Cpz08>bcLi~w4U7gD;Yuq=09u?pIef|?Tuj(XVE4j}^t@~^QZrFjj z+dUz53i7r}#ufhJlZJmlqT* z$wV(Z<=DfM<$p~+B$2#&e23ba5@s(>K|XO+b9+<2a(oottZv(U*&-G-0V6t$KN$d;hXt3R|`FU|g_N(7`@V#{;C7VhnZn1WEc9`e#&$ z#3SQ>5k4(l{J=0m!MMzRc%zA-&ub~Hq8PJBgSz@8){SxX%QirtQGa1Im&Y>{>>M*} z=kb?=IQHUcG&RcPL(wDSJq>+h$M)m2hqV&}vqT`4VKVF+qsPjdb@1@hclLZfMsJsL z;z5^@PR0za;XWGk7fAmp7b~#TE#|&ck+fBRby(S-2}~+V%XN8nM?Akpt}(XE&#Wvc z{hs+Q!{Emnt=@jPUGU`=~Np{?l}Q$XNm9Zs9Rbh|^l*o>VEl;bpu$Xy@=` z2ow776fgY}?+nDkj8QYntDG;kD<)s_SH6-)y{}Q~@ljwf!1Np7hur`ws_nlmR3Lc3 zWKJg<<@&(rJx_uJVZ!OHavYH}B|Gz8@hCZmx7$DQPe=?&nv&kLzXt++7=7P&-#A%I z$^9JK_Hoa4`+!$gjxAGk9N-8u8$w77AYyYLDA{*b(yeZz>P77ghEwh;bt-oc>s1=a zqor^`@(Q~4d-E0&?mu^qAN%qatNlN1eJ+4(=qsm%D2p{YVvZ%BLz#@}O63*{4xzfp z)_kBNnAbt-9Nh|Te|QX;4kjV^MByIupxoa2+hh1LM3_WbFjg4Meagsw{h?2YL#q$H+fWp>UE=5*P^!8Mw`QQb-q%kkRYRH$78cTF*DzFD2xLb71X< zoE}ez^NTF+V2f1;&dxy3ZY>pV5Dn`iEL<5kVw6mHhRfVSjjj+8gZ#Q7`tNJ=r8oE2 zhK|-P{J6h1^u@i}V4^W*hAoOvCsOZ2HmkWuNfG2dsq)xDMZVI!fu41=(Yvs+{z6s)jmt{$6CE-DqC zz%G0%4`9u7e;m{~^xPq@bI5=+P&4#{GTQkjQ2A9?p?DQ9cu(c66KImnsCgcSq7z^& zj3tJ@1NILEY$dwDzMn2WwdH1EyB(E9gby9COfu#swU24WYQ**>$0tOc(oy?r!C*?d=Zh z{^}gD@fs1gE(v@xN3!T8b_5Mwz@MVe#LARDqT4R0{ zBV8!GACyo6^tG=H?fmb=dR92*lw(zm8EbL|9pnBlWO?&dvH{>+%rc%gy7` zPpkcXo|=1-ix`tP4Tu$VqO^2m=g5Ch`RT94qGBz!GVqtGRV^>=&h87P_;0W+ZFxFg z?!|KlV^7T3KJg--Z(_Q<=f5e1M*q~S5TazL&759b=#;w9y3LqA`lQkZMa; zxt%90Uothn$VL2q^>sRyJH##CuaN@;Za$=mzp|A&ho98s#rv+>(4`&U?#)X(n%5~f zgc>DeVT26O-}X7Af78DY=USX%m3lTNnwuk}k+plf+rWa>$anFgQ^AAHPu-PG%h79n zVntP0nOI_<_IPEy#OGUxW+x-W!4&_Eg&m7ZzoW$uYYlb#4EqCnUJPx7(9}-hvdtPDwlkBMgaq!afey!|} zC#NX|cX>k6>%a~Mvvr@v^XzwfT?J+-sP+Zv*~yj@gF)WHxAU>e;3c!4q{|)sqQMcb z&Uc&|qy2u=Y+d#zyE29IWRAz>No7%zi!3VKS+M?=-sF|{PsRz9%HbZEt+@YvoOI-> zcct4AwAE#bGf1F>1gT$eS$5DdYh7G`PMw1tvkTH``owzeBrm^UWYN(f4wd%vS1C)| z#CJv$c0FS-ei-wiGTo1G`8-a(LGtBp1)%dj4m4zO9G%|6a#DDR;`*p9A8DM-D zFu)31!u1FR_zSPf8@rt@`SB#H<7s^fS`U4lk5(IGd=&(So&DQ)2Uq?8SLW=kq-IwA zVH}FjxcEEu)>RWgSqt3ruKbrMzA~oeKw$^%hGV|zNqh~#ozdq1u2pXB5^4=jHeyCb zAN})c=3l-MT&ss-BEI+&{c6@GJrZ2HnU{G7AihvZTKpr#j1O@~`T&T<48%H0dh=wH4sx34X+qc%t1Ca!modDJlbZq4l~`|Y7NbYTn#X|a_S7LpE*N^Ic$QR!PK)mM zEnCyCQu_C3&x^D5JxEy=a+HsqMv$pE9?Tjo*rbEjJfQVc=8mHn|M=;2@p50Myn$x+ zBX5n5k~_<=EjB5x*_`bv`uFx?7r9wier?s`9_F z<@Uq;f|4s^LdgW+DdTYHn>wzrHyIomuXxuu$SjUuZP^|#Kq)E+ z#4$*%3&qW(AG=SXx9RV_u5?Q%sO$)lGM1*mHWx=sfNF(Ug+W}r*CI_rX1=_eFT4o6 z!7^CkKYFYnkgrOEv|{e=lAB%EI15?Gd)>j`)p@mkts?1KF~(Z?9eDQ@iUiX&rXW7L zvH}fxXZaLqNEzD#Wm6grVAmtfqr$40x~%LA#Mujea`bvL((3MddZu_;d!d-V`x^a|(~oOSsQ>wpPH_QG}~9vfFv5Mw8<#X%m1hUXeP@GTZs zB+HbGKVERJ)A4*egg9MMY%!9x5cyd*>#~@MZD$)|E;Td^3tmyAOd!<;oL$nW!vpa9 zYuyMqsLPCuDw?T*p=_3-TbU)O{t*ImI!Lr-zpiNN>HGA!Ad!c-#Wuy3+a#b}hn379dzhcZ!L ze~f$IA`D6jik;K}Qlq5S8oW=@g&Ee2yFXX{;=|6OC=nO8m%g1AkrmG-Ke-omQhI3& zHeuJ)z7q3)f%*gTXt^-L%lWXzUH^mHY5<^?<~5Tp61c(J(SWNu`kCwTPl!tPtHGH# zrkqE{%#;>_3<GD5aDPH;xH#wcDP~CZH0RWn&_g^}68kup z9b4o4MgcEd=GIVf$M%b;f!oVn!tu5F&ugGH`bOjL1#g@-k=|~5Tu;)t6(Yn>oZ2l-Yu-sJEm-L61SX6_RD!CR;IK4Z#1d${cp zWTW!Sdclz9U6ORih4}Zb$p?SFy*~Qj=3`@9-b_K~ysv_{DXFOfcdx-;Thc*^25d4S zv7o(pBV^{jG}Gr3!mkYobtBnRBSBmZqX>^;BQ3rcn2f`}m~iz;JQ)o*7aiI2BV+Wq zdkj0z9;>2Fjx+3VQsU$cq0a0hOHy%8`Gp^^%9RUAoW^wA$7qAN#r?+5BXhc6oiA`I z4?5S`aU0a<^V3^yM)8X~xS;mB-n)Ro?%|}o+6%(D7bTo4&pxN2+722z#^X$M;qctvJ zl}{#QOez~cJzIpsx;*vQeXnBJpLA_cuB|@yd!no8OMl)(A33*Bv8tAt&!+B99}Tr& z_z_Yt2B%PCs;b4bifhEEu|@2a6?QaouFH8spO4jhdBT`F*Q$x51LO0Mgce)>$6F*# z92njO=ah8$H_cid>r7Dd55z_G3m=7O9J@Yeh zIIIzBQ7kvdW+~h(j>O?UXJL4t?bS7yU@F2>TC(Cp>4}UZ?>CMznme6}~uU{kM#Uvh4J3~b=5z#qohY8+b z(7NCwFMGS#DP=x&WIkeep2XUH`>gz(6zf*C+!581gaF;fyXl$PUYE;XjMK`kNB`X3 zD2+6*QEzKK@@ht^)7QgIpa>5l2%N>v zwsY;D6kGUOQB?7k`)Vg7x0DTtg+V|*-GUk}2o`hrK3`aSb7A3{H%|w4mw2H! z#;}hu&hm!7-#!gjf&wt~`738JAT&{nAaeYiS4?^sCGftz_<$u^KqB#GJ1%}u!~n&S zQRpKx3?(3}B)5VUDyqih+bGyJI6N34YA*Lv7n8rfk`yl(|5dB7s3l-$?-*7()yiYn4f z&P#HI%+S1{Ccg~|VUSsf76(|eJ5BS{$k|>s_$(w`|BmGo3LiwckFUHRK3ELgzmw9; zgnV(eQ_62S#%(_k`aU{<4Be)H^hxz=hJX;I#T*9&=eO30CUfp=5TV(VpP795s|BFx zPBfeVi3{5({sdCY7I~lFS1C!GzXGw0xWPZ?+V?0q@?bE;Usnk5d0cu1yKIzM5$Wp# z_V^iNglh2z#QnJ}paU=qkt}n85JoV5OPCpgOujP{HBAe?^yxvI%aZQhDp zPP*VG2m2r5I~b+I|KXsUZMGKGTSyyVZQ?5{hc}~u_3sSFLVx~i#HEqY(N45 zG82S_sr(b42A=GF3sh|SPCCIZu9i>dLJG_0Ag5vTxnjYCO*+rWl1k(>>WW96Xo7dD z4d7o?_*ZQJdOLXK1O?dOwSfc;F+$qR)2EW*E3we7g z^Eqg(8$@F}xiN(3oR3!qQwC}5S;%mchBG*{pj zdZSqt*J|v*HnYC@PA6jErf&#XlJl-x$-8Q$>OBgdz+gBr(wRyN%ni2MPh=R%yI02U zx&ra%DCE(9y0eAL6gF&w5tiU>FP zxi6o_hqpzzrTGJR^E~6#Xx4zL5SraZ=Pddj%>#Ufo|QiXG~z;CgMfRldi8pwkEpS0d#GR8;}2m$##p$$az;<3g2_QnQoM#b;7geU z$&xDX{>R!!K<4lOW|?8|toVpqj_{y8r4yix2!gAP8rjri)R_OJNz+KwU) zPt@4ea^)@%4=t)#sc?12_L)M(g<(8n`+*m-{biROAB#Q18%l1O{Uw9VUH1V917K&u z!Z1GL_oZkuc`RcNPBFLqnK=?0;<`J={l&%8=lLFBqvfxyS9#^}gS2^mwYrTd;m7$? zc4hR*4R$=``omnnOm|c_;cYcRxC3(pmCia1*|ZSsMX z9P*jcy<;K)3s;)q5~;WDpk4%?*Wr3BYOd2yUxLy~k$Bu~Z{2%*)fz%7;r3c=BUgNo zw|ns6ulb-J1DtdHYE^+g*~Hw?N$YMgU%gywxEmsQe|SXaUT8ry3;fv&=lND|7qQ^h zVQTrAdSl0Xm0QH}`PhHzK($A@IhXFrxkGRZYV!(KLGq5+|C@RJt;oot+d8rp{oD{c zsEo;L$aM9CQxONWhXH2lMS*##@^#l_A*!~wgRdNkM#rsO&#U04+>vy}@RIr@hJ{sC zEqqGhk){8<+e3!lRY*nY2?cmXbR+YR_6Gfx>aV@$g^7@9(=lv`@R6G4U_)z1$oeZpebqB zSRz>riVH*=A~6+L*e!ajXPIm0rPjHQZf{XmrOs5p144lYi39MPPB8ZZe{@O@5n*Wn zwFvU;K_I_n^-}iMYCsoeq7#j)&WH6Fl#7&}%|h-|E4{vgzGDus0gj32BM#1$ETPH` z(DQpxoZa_1rvOq<&wOVg1e9Mmt^`r=lRX?>U_H}*f7Jje!L4&cVjbgZb8B8b8tlD`C&=R}g zo$!M!hN;{i+YL?qyK!>jJBrAP(LCy_te}`=ZGEL4pR7AUW#h-KthsI%7t5kN|ID>C zZc?0v-Y5IWX^Z@^!qemU`;lKY4WVl3^k&JuJrCn%Mj6xSF69(HLn>KW3IiTS9)I@&8aQdj z?j-bl(uRkJONj*P|9wf(R1&}Ng*{Q7?t1F?#%`3~frL=*ubdpQivr$na&n5B*f~|! z$EFvR+zLm9jGh^VXUB8V(;DUXq=`29qW#I;O9)QAbg|kC0oTmt2o-jnN?(~g*oPTe_LqgH=XT03LEZZJr{4Vxlh0~@+#6xb@mTZn9 zs*l$-#!YV;;c7%KPxc-d{8A|~F_r3UwUO+YvC*slF6yDTn*O=HTCh)T8&W@K*p||X znVeob(cv9URa5J|;!<-5Iw|IGNrfe&n2X{R5*B0fFuM+&93&unaoBF)(}-D_r-w0)S!;EW+{B`-_mV5CmI|=rBiep%&Fucm+~xRdkK=3<9w0*;m>#bbQUXj zn)alfIkTOV;bMiT_&jtVbC8XV^S{%}mqJnz^>XpH*6BK*`3zG~9zuc!-k$q7h_H@< z@^|nu1E~g+s!3Zt)Uf_st$^63S<^s!w%z-|2l~pJIk>kQYWJzw%oBPmQRuz3PjC#}z773kd@m>ogK&pIL?^h)PvfJe)<2jw4pJr-Gbm#M6=+)$fI! zgrn>>9!AiitRoqmE~TLknK2F*pCG`wZUSAXuppsQY!^IgFd_MVEyi@HS8S1vx45AcjTduh#rn)uD* zrzrYUk#D}BM7Xp*09%$3P5KLg{V!8XyvoPKrqxml zjr~-<|DLfO2wa+FbDCZ}VF1FiV9f#Bx`qh>AFO<2-$f$S^ANU=+nH;$rp8mHD&dDr zmO5JuiU2%nH)xV>6`O3IR%YK!+OnY6YpZV)+*;fP_gf%5Tj8oiNgt5aMripG%L7?Q zBObxJG7O7uL=i?5rFvZY?`M>wTC#P>+0QVgsWx#5OB?;NTB2eFMDk(B?uYTX=0+{) zGn1wcvgX2&wyLD!w~Hku?-TuZuP4*s)a#adG6haZfDWN&`)SzFlQRi!@BD8vlD8!y zntsaKHrIx!f)^-z(;7bk=B+T?yEezI#Io6JmH=%ty#LLq#DsBb(73aI#GGm-;4g+n z|IOABHD>vjzDHzFaF3~-;Jweuwux3Sn(oyE@3Xys4D5cy0b?s=Oj20e z911&}nq)&Bs=e3>K{sx$8M( zH&)im0UQaP?AbF#6l~~^5G6vAv<^rydJj_MLx@Z6vo}LF?F3v}j#fPu)*;&dpQ%r1 zbr&I(ENk?RT$)I}{>ugLUzr;uDQ{sklS|NDb||y6D~+cbVcVe7JgPt5*T=l4QTP&3 ztv7P-+PS}Bw3(cl(cHXJ|Bd7P=UwrIr=%R&D1@+lB5H-9yB7zY9B2~A(e6(3A|=(- zjj}>vn$4-pHZXk6{7_GV8f8M>)cu7FvuX z^2|Gh_wNN58B8!;-iQa?rl>UHQK7;()0t)l^(;h&4U(M}Rd+&?(QSjBI#VwVNXTG2 zt+pA3$H$UN_Y^*aWK9xWFDj|1KQByzgOFh@WN0Hx;$}qHexZ&-032^j?{CYW5$~n( zBr4MFTZ4i8M5@>vCXn=)ou}f{c`K0R(NAj4UScUvd|E9NrdvwHb~_mgZ~oGFUXLKB zK&lEe%`oJ*bQT)QzfH_9o+PkxqsYEel>B3865Ngq)2aGG9yha_qRaBzbkUhmL^0aW zQqM^~=t+0m!~lhJNW>P)U#EZp3hCMA+g9v*)3MT0RouGxk#8|9HMbv2{XpMh*RR~& zbHHUM3Oz9997fME2%3bnniiZLrw8m(DxcccPFy|Ufzn5G&c(cp(4gsJw}a!_BIo1L zSb#QpjA7mSO=P>!h~VURe&e&>aq4Xk#qld>L7EEodKT1vC3jwVFB^6>rbS{)BHPt?^%KLXRR! zzcjhBKA<&O4xyUW8fa658Y`qOJv`x;C8|KCf6(f8CX_s~{Nop0O6xp?r8=Za;)_4n zZ`mKbOIX2w9s{Yx2vD@|$vsVe4BIJ?%ehy^{oVc}wej6ODrmqX#1fm!J~CB*umD-Qh<=?>b19Z~bn>r2LXpfNCLz4dG(C~_RAI$4DWThuwt7=7 zn-GLCxbo&{flnQeXW>GmN^ zKG}SKNvgft&24S=%~>Hd{1+z1%Q;&7wai5WK2|o9Jo@$C@p|FG(2)E|Q%5+bXasy2 zT6}N+-;z1Q67MZ_fX_C1Ze-PCb2+nb)AD*XC(3==)&J=M?iQqg?VJ}fc)mqH^8jeb zQUl?JA8TXlBK1jgx1VC$9#|*))P?CwuX&zaG;c<&mzpIo@r;?v7epjuV%(j?;EG*!CSFtOoUOx2p@g2DZVg`>>9by8*!G@~LSyo?1RgU?9AK^~?p$ zes+M;fc7h4cIQLqbX`4jwSmD#SID-hS}fC3pCIh=M?TLF-V{K>8bqvSJ?(R_74X00 z^at(^^hq=#eamJLdM6F?&>-`GoI9 z#*?v{^K{!@BgM(qn#E6fId4T_8})$JQn~jM6Uk*Uls6#}``y?odB@EsgSWDrX#^5S9~F)9 zi&bkqw8ZI;MtLRT`Z@TGkGy0xOZGiO9ERHtjeg(x!0-e@BXl6(0eaWQ#9TBXEtiSA z*>bV4US=Xt#Btk56aQ&}=|Gq175zAaq0XS)by7X&9EnS*XqPpAKV6&>VR;>BOO7#KEs@!b7Tw7t^0r~BiNij|16^^+xh)i)CA zix|sFuC9%_ifKdDqGRFi$E&-a0{hEf8%Xd=tMKQ$dVaK)lY`d4V^9~NHBb5=S=^}qrIkGSg4t{h?V8A`Ub|**7^}#Xg`c5 zaEsYo%_C$Sz6f%FQ4cvc9Xk0QQc{5o7D#&BteRTdwIw?D9Z{C6OIA+Bun0#ax)r!S zC`1q&M~S@KKOFpdYvbPo4J)VdRKfN{hLv!4hg+1m{0Zh6fQL_vBk>e&5M=LbUpy8>uHC(=(AdKU5V239`H6ozHE!PP;^y_J@E z!`wIFOmTZ5HjdV<+V!Ya5Ma5`;>8B7(+Zmq2V)_X9{mcBV;zW^Z)oHjTIvpF0^#YL zn5pMHSK#X$uKhKOAF7`Y$0I?WTWcxonPB~ zZS-=oQ?GxR*mPGO5;xjDVdSn}{*IJ|2wsFi-ZhX?9qqphOYBqIXn2O|e5w<%=%d^~RhBlwbq4=1}9>_VJCrE~^}e;&uCt zhmn7wA2~Y|!@O8koO*kc?>^#1rZ>Ao6D*49tX03|@=luWLc^Y?{8m(f!8du+YF+T|x>NRPSkPpfLs}l)mY68);i4;&Qp`im<7fMq5tgZFTUi!9IE+z# zg;c9;KclmMK-MF=J?nZ>75D)^N=v@V9fo;&gNm1Xvhwhg&MM@o zly7n6Ps2L;+pH((N|TEdDaQdgx)hSHOO1RMXC^kJ40(S+{1xRlDt*Q1TRh1H0 zV#ZrKW}1c3cmta5<=shDcbGE}WHzs9_Huf&LR9}I*ZMb~#}sciS&3+DzQf|ps z)9J$qkK9}u^-7*Lt~|8mZcf^}7F|Q)=BMVCiw#>qohJoN2p~Se751oR9HF zN8MztZ2^}`G%e{peCS5g-S$YDRf)V+^uQg?7DhxdXv%RQm|xW-d#S5rEtKy7n1UTx z23wpKwh+-??IqhP(~(n#Xg`Y~`ieozI4iyJMSNt=*r%bGak zkg1Gc+PfQr6GoLBMAf4ICillpG~8(xP&#*7zE|PZS3O1Q4LqT4`#^Bk(R{J*f?U&v zW^ln1*0<|XoW~FT%#|6DCP)Xn6vkE75-}`X#Y2vwB|ZvYxB!4p8G#_*#8JuRS6r<2 z-P#xBt$7zEOEg9}_4qu{BwXs9#&J_$+iqLsX-qZKxcG>8Q1S1R!aw-uyxPNsrTo9= zR-Z`f4Nk0lf;cWqxo<2&_FE>z!rM{gT#tPWYlO@ALhO$UTxlAp&cAJuKSr}JI&5sf zxXJyZ;bZR-W$!k9AV5yGXQVF}305aoJPb<-MLHflE^@$7en)fV5Vo(gDB0&{pxDe! zf&q;;qb^%TUPiJM3~bb_1dd;^SCrSkUr}K!Z&?(O@oMWpg}`o$B{FmfcOmy}wQJyj z(IVm5eK%Jcl&iK%Tv`9**<)s#rjQJ-`bvrcycomG?!@@NStFF7X>es&E zpdo=pR9J>1QU|JwBC=Ov;+0FO7BVV3zjMaqQsYZj?>kh)&XKZVXw3C=L(;Eq1e>C^ zaw|jsXFBXGw$dl{_kV-3VL_m|t_vtYS}t4Ogkbx24xxnYWM8=Uv1aX;FmP$aX-won zB8C3WvEIu^r}^XMjEZ)gUXpj-d95}H1vIEy6u74)7pgTEk~cHL+mYRdA{P_x6bZ!; zGUTLLhEWF+x}d^f_4IJ#^;=2uZ>lIgSbo2So0x&P^#3-;A|{5#nYkII`jsxgq$k(w zKFI1+Wvj`jP_LNx8}v_YYDcQ9Y?Hkx;}F(Q3eaZ`;7!G=4dX7sP$DK9!cOdr80?L> z*7VPR$(CMsAwdr#EdK_wM6+5BfH(xIOL7~KHA)&59jd~N@1F|izJ#5OJUI2#`xAUB z+bH;u(DIr z*-|0L_ez^9A`B1f>h;|#F{vkFUUUZPgatdxQB)dRCg*tzIeC-_!i9_I3P+}z#y{^@-!8eF<;rnz!IZNQ z2L3xr#zw|l_$-SKK<5U`Vw4Iq{YKi6qKIQsOoP7yH_WemJ zer0CrX&DZJmeP!#3Zxl9Lc}ct^*1v@nzXq|FZY@rPZ#DC=L&HIw3i8q>D=#+e9Kg< z0AmLCb^HP)4cAsL6PR+Y7mT^tH_c>axEJ!E{_ut85Gd1a3Xc6qT(A}fz9yGA<$hil zaFmg)s;uB=U~leWelEx2=bF=7L z3hDnolSt_vYPVr<%Wzbftn3I$0d!{}JKRivgBn|P&&gN=h0E|m?CfFD65Tg1nQ<6t zQU;aBRKuG%J`9g=)Oe0L`EPs^pPibp zt@h-HmpI$iqZ#Qd8QI>-3cd#Flizi>mS+Z?mZ%xo(K(FvKupeHs_pNv`(m z-5c&0bFbF2 zf?2}7Jn@gn`9PmHre?E|uG^kfV!O`u-OCcI#4S8qEgs&nskZ7E_Lif?%1a`c#UtmF zQH8^c^IO%4$FpYaUAw!XbKWJwer1D&H6+_pFY9W*J>hR$aWR`12T7IS-8sd%%zv|1 z?aj*Syw?Z7_nlfzri={rdn^Sf->1fpZukccpRf2F?rQFch-S?T;qUEAP4M*X*syFV3brd5qe|JCSl$y&By;?#0sX6L7uL+*Yn_pN} zY6ujx)5bE}#tQ8Q9ld%DSu;HU3gJ#^SKZrhCp11N;r#|r7L)ABmMUqY+c{PQoR@yA|5U715{lstmmA-MOMh(VQ^ez1GPfd8;?CV zf?wP5>62s`w%ON(smI{`Ix?Adna*{|kW_rfwgZEb9q1RI{hYCsT>FvX6|PxX01pe( zI+CzDG5M$5KqV{Tfr@+0U59gQO;}D@qrjo^Oxa=CYen2H*gIXn^h<>pZ$40?xb9m@ z$DQVcPV2zTR2(s$bJh~x@E(O4!y8#OK0%|KYxo|$J-?x>jy`N^Fgki2z7k=&OHC6+ zQB}=pTEikm_lAAs=AAIy`0Rn>?5G1n-?PIezY2=B%@kDjN_tz)MT2wq^NnRUnqY7N z=Gc*dE!XlWX1T7v^nt)9PfN?~Ez7SZ=~3>G4Pi-WEZ{eT`yJOK zel3{ZoN9BFq}7K-qm2dvcVt3l0?${FJ z=nUctN`Kf6w=yqZDXp3BS%Sp)eFiR;lV3$7OCKEL^^)KZ=`!MwVHHj>@W1~}1iY^w zQIGwMsA zbWC%)D5Smo&(WJ>KM{wzuwhe~xNLSmE0e@ep$n_JkGoWrt}_tNte!WSdJuik5yeM_ zmGtk4lFh`#L(hcC4H$0!C2#fbk=*ktRU3iUy>wyiOgQwZqI!GOGrg1Qot-0 zxWL&`UWd%q+Jz}S6#=d=y7DheX$qJ$xf>{kk%QYsgNd$+T0jNm`U3#$fDg<6eE=7= zeZ-M-zqVv6=~bnI<-f+cu&#nI{{ON}EZ3!}MF>q=Bi_|&7W(@!%y3r}7f0Dryu=Lu zD&yv66MzCZF=g{FT)RE%zSu+5p<`z9^a+5{zUwFmGF1p@0P20g$t?Wx!r!Q$X09K! zgQZT4mWN(!uMIg}U4r@y50feW|Nr&>Yy-&U(f-;@?@lBWn6is z=NeMTlUHZ)KM=unH6=`V;4fdHK!vK~^5{^2&z9mFuH^Aj89359 zgi;YVv3vk#jNoG)r5`;m)-j0T$#JyU{|Vi~`g?U&A;?rYhTg%NB?3N1E*JlI=mFNx zE9bi(%r%#*h4r2foU)|Jb(=M_u&@B?l;Gq2f`I>P2Y}r0-sti9;+sii4`(I+{~31N zLcQC$h@vye)jW6xgkQCyuS}G|pmJ$F+FOZbeg`~<4Od_K`Q;5Y^+8w0w6q5B4VJRJ LhFpov%a8v9s`bZd diff --git a/main.tex b/main.tex index 62414e5..694c9c9 100644 --- a/main.tex +++ b/main.tex @@ -55,291 +55,161 @@ } \mode -\title{IEC 61850} -\subtitle{Kommunikation und Datenmodell für Umspannwerke} +\title{Intelligente Systeme} +\subtitle{Ontologieprojekt: RDFS Ontologie } \author{Marcel Felix, Jan Philipp Timme} \date{\today} \begin{document} -\tableofcontents[hideallsubsections] -\begin{comment} -http://www02.abb.com/global/sgabb/sgabb005.nsf/bf177942f19f4a98c1257148003b7a0a/e81bb489e5ae0b68482574d70020bf42/$FILE/B5_G2_Enhanced+protection+functionality+with+IEC+61850+and+GOOSE.pdf - -* Process Bus ist meist schon in die IED gewandert, ansonsten kann er auch auf dem selben Netz laufen wie der Station Bus (Keine Sorgen machen, passt schon irgendwie) -* GOOSE ist für IED<->IED, regelmäßige Updates, unregelmäßig bei Abweichungen etc. -* SMV werden (vermutlich über GOOSE) zwischen den IED geteilt, die IED werden über SCL konfiguriert (stimmt das?) -* Datenmodell ist zumindest im Grundkonzept interessant, da es mit GOOSE direkt zusammenpasst und somit stressfreier als Binärkram zu lesen ist (Interoperabilität) [Ja, aber halt nicht alle einzelnen möglichen Bestandteile durchgehen. Ich denke einfach eine Folie mit einer Übersicht zeigen und mal drüber fliegen wäre i.O] -* Process Bus ist sehr nah an Switchgear angesiedelt; eine Bay in einer Substation ist soetwas wie ein Rack im Serverraum - Dinge für eine gemeinsame Aufgabe stecken dort zusammen - so die Ideee -* -\end{comment} - -\section{Überblick} - -\subsection{Überblick} -\begin{frame}{Überblick} +\begin{frame}{Szenario} \begin{itemize} -\item Ausgangspunkt prorietäre Protokolle -\begin{itemize} -\item Binärkodierte Daten waren nur für Geräte des passenden Herstellers verwertbar -\end{itemize} -\item Arbeit an UCA\footnote{Utility Communications Architecture} begann -\item Woraus der IEC 61850 enstand -\end{itemize} -Mit IEC 61850 soll die technische Weiterentwicklung zur Vereinfachung der Datenübertragung und -repräsentationen genutzt werden. -\end{frame} -\begin{comment} -Früher hatte man wenig Bandbreite => Kommunikation erfolgte via wenigen bytes - => Das hat zum Nachteil, dass vorher viel abgesprochen werden muss - => welches byte bedeutet was, Konfiguration war aufwendig etc. -Heute hat man viel Bandbreite zur verfügung -=> Selbst erklärende Daten möglich -Daraus enstand die UCA (Utility Communication Architecture) - => Grundstein für den IEC 61850 (GSSE stammt aus dem UCA (erwähnenswert?) <- Lieber nicht, GSSE und GOOSE sind zwei Paar Schuhe. -\end{comment} - - -\begin{comment} -Aufbau des IEC 61850 - - Funktionale Anforderungen für Kommunikation in einer substation werden ermittelt - - Diese Anforderungen dienen daraufhin dazu - - Beispielsweise die Data Items und Service - - Das Applikation Protokoll - - das unterliegende transport, netzwerk, "data link" und physische "layer" - zu finden, die diese Anforderungen erfüllen - - Defintion der Data Items und Services die UNABHÄNGIG der darunter liegenden Protokolle sind. - - Daraus entstehen ASCI (Abstract Communication Service Interface) für die Service - - Und für die Data Models gibt es diese "Logical Nodes" (+ Sub-Typen) (Kommen ja später in dem Bild) - - Hinzu kommen die: Common Data Classes (für die "common pieces" aus denen die data objects bestehen - - Das Mappen der abstrakten Data Items / Services zu echten Protokollen. - - MMS - - GOOSE - - Sample Measures Values (Aufnehmen/Sammeln/Umwandeln der "echten" anlogen werte?) - - Process Bus. - - Zwischendrin wird das SCL (Substation Configuration Language) erklärt. (XML Dialekt) - - Formale beschreibung der Beziehung einer Substation und dem substation automation system (SAS) - - ("Substation Automation System (SAS) software provides an intelligent solution to monitor, analyze, control, and protect today's modern substations") - - - Eigentlicher Fokus war "inside" the substations. Wird jedoch auch für "Substation to Master" oder substation-to-substation communcation genutzt. - - - - -\end{comment} - -\subsection{Struktur des IEC 61850} -\begin{frame}{Struktur des IEC 61850} - -\begin{minipage}{0.45\textwidth} -\begin{itemize} -\item Funktionale Anforderungen ermitteln (3-5) -\item Definition der Substation Configuration Language (SCL) (6) -\item Definition abstrakter \enquote{data items} und \enquote{services} (7) -\item Mappen der abstrakten Typen auf Protokolle (8) -\item Sample Measured Values (SMV) (9) -\end{itemize} -\end{minipage} -\hfill -\begin{minipage}{0.5\textwidth} -\begin{figure}[f] -\includegraphics[scale=0.20]{toc_IEC.png} -\caption{Ralph Mackiewicz, Technical Overview and Benefits of \dots - Tabelle 1} -\end{figure} -\end{minipage} - -\end{frame} - - -\begin{comment} -Device model begins with a physical device - - defined by network address - - contains one or more logical devices - - Each Logical device contains one or more logical nodes - - A logical node: - - One or more "Named grouping of data und services" die in Verbindung zu einer power system function stehen. - - Typ am ersten Buchstaben des namens erkennbar. "M" is metering/measurement. - - (Kurze Folie mit übersicht einblenden, aber nicht näher drauf eingehen?!?!) - - Weiter unterteilt in "sub datentyp"? Beispielsweise "Phase 2" - - Erfüllt specification of CSC (common data class) - - Bild von so einem CSC einblenden? (overview paper, seite 3 Fig. 2.) - - -\end{comment} - -\section{Datenmodell} - -\begin{comment} -Falls du das gebrauchen kannst :-) -\end{comment} -\subsection{Hierarchie definierter Typen/Objekte} -\begin{frame}{Hierarchie definierter Typen/Objekte} -\begin{figure} -\includegraphics[scale=0.27]{IEC61850-7-2-F1.png} -\captionsetup{labelformat=empty} -\caption{IEC 61850-7-2, Abbildung 1} -\end{figure} -\end{frame} - -\subsection{Datenmodell} -\begin{frame}{Datenmodell} -Definition verschiedener, hierarchischer Abstraktionsebenen -\begin{itemize} -\item Server $\rightarrow$ Logical Device $\rightarrow$ Logical Node $\rightarrow$ Data Object $\rightarrow$ Data Attribute -\item Server enthalten mehrere Logical Devices -\item Logical Devices arbeiten gemeinsam an einer Funktion -\begin{itemize} -\item \dots und enthaltene mehrere Logical Nodes -\end{itemize} -\item Logical Nodes enthalten Datenobjekte mit Attributen -\end{itemize} -$\Rightarrow$ Adressierung einzelner Datenattribute über voll qualifizierten \enquote{Pfad} möglich -\end{frame} - -\begin{frame}{Datenmodell} -\begin{figure} -\includegraphics[scale=0.40]{UCAIUG-Slide15.png} -\captionsetup{labelformat=empty} -\caption{UCAIug Summit; IEC 61850 Tutorial, Folie 15} -\end{figure} -\end{frame} - - -\begin{comment} - => Daten sind nun abstrakt. (Logical devices/nodes, common data class etc.) - - Werden auf echtes Protokoll gemapped - => MMS (Manufacturing Message Specification) - - Wurde gewählt, weil es leicht mit den Complexen Namen umgehen kann. Prinzipell jedoch jedes andere Protokoll denkbar, - - (Kurze Folie die das IEC61850 to Object Mapping zeigen? Overview Paper, Seite 4, Table II) - - (Kurze übersicht über das Mappen. Ein "control model" service wird zu read/write services, Logical device wird ein MMS Domain etc.) - -\end{comment} - -\section{Protokolle} -\subsection{GOOSE} -\begin{frame}{Protokolle: GOOSE} -\begin{itemize} -\item Generic Object Oriented Substation Events -\item Baut direkt auf Ethernet (Layer 2) auf -\begin{itemize} -\item VLANs werden als Nachrichtenkanäle genutzt -\item Peer-to-peer-Kommunikation über Multicast\footnote{Broadcasts innerhalb eines VLAN} -\item Nachrichtenpriorität wird direkt über Ethernet-Header angegeben -\end{itemize} -\item IED$\Leftrightarrow$IED-Kommunikation -\item Zustandsmeldungen (regelmäßig oder auch abhängig von Events/Wertabweichungen) -\item Kommunikation via GOOSE hauptsächlich \textit{innerhalb} des Umspannwerks +\item Welt der Spielekonsolen mit Bewertungen +\item Spielekonsolen mit einigen Attributen beschrieben +\item Spielekonsolen werden von Organisationen hergestellt +\item Spielekonsolen haben einen Nachfolger/Vorgänger +\item Organisationen haben einen CEO +\item \dots \end{itemize} \end{frame} -\subsection{MMS} -\begin{frame}{Protokolle: MMS} -\begin{itemize} -\item Manufacturing Message Specification -\begin{itemize} -\item Gemäß ISO 9506\footnote{Nachrichtenformate für Fertigungszwecke} standardisiert -\item IEC 61850 definiert ein Mapping des Datenmodells für MMS -\end{itemize} -\item Client/Server-Protokoll -\item Findet über TCP/IP (Layer 3) statt -\item In unserem Kontext: Kommunikation zwischen HMI\footnote{Human Machine Interface} und IEDs -\begin{itemize} -\item \dots und somit auch ggf. zwischen Umspannwerken und Kontrollzentren -\end{itemize} -\end{itemize} +\begin{frame}[fragile]{Selbstdefinierte Prädikate} +\begin{lstlisting} +:foundingYear rdf:type rdf:Property ; + rdfs:domain foaf:Organization ; + rdfs:range xsd:int . + +:internetEnabled rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range xsd:boolean . + +:consoleName rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range xsd:string . +\end{lstlisting} \end{frame} -\begin{comment} -\begin{frame}{Objektmapping von IEC 61850 auf MMS} -\begin{figure} -\includegraphics[scale=0.40]{mms_data_mapping.png} -\caption{Ralph Mackiewicz, Technical Overview and Benefits of \dots - Tabelle 2} -\end{figure} -\end{frame} -\end{comment} +\begin{frame}[fragile]{Ein eigener Datentyp und mehr \dots} +\begin{lstlisting} +# rdfs:Datatype +:PriceEur rdf:type rdfs:Datatype . +:PriceEur rdfs:label "Preis in Euro"^^xsd:string . +# rdfs:subPropertyOf +:predecessorOfConsole rdfs:subPropertyOf :relatedToConsole . +:successorOfConsole rdfs:subPropertyOf :relatedToConsole . -\begin{comment} -Es fehlt hier auf jeden fall noch irgendwas Praxis bezogenes. Aka wie wird das ganze umgesetzt/eingesetzt. (Ich denke, dass das spannende für das Projekt ist?!?!?) -Laut der readme. - - "betroffene Geräte" - => Geräte die irgendwas mit dem IEC zu tun haben - -> Was haben sie zu zun? Kann man sicher eine tolle Grafiken aus der Präsi die du gestern geschickt hast übernehmen - - "Beispiel für die Umsetzung eines einfachen Gerätes über den Standard." - - Das geht irgendwie ein wenig Hand in Hand mit vorherigen Punkt bzw. kann man das verbinden? - => in einem (Praxisbezogenen) Bild die betroffenen Geräte aufzeigen - => Inklusive der Beziehung zu einander - => Kommunikation untereinader. Wer spricht was mit wem (und worüber) - => Daran kann man super den Station/Prozess Bus erklären, sowie am Beispiel aufzeigen, wer wie warum welches Datenpakete (über welchen layer) verschickt. - -\end{comment} +# rdfs:subClassOf +:GameConsole rdf:type rdfs:Class . +:PortableGameConsole rdf:type rdfs:Class . -\section{Datenfluss} - -\begin{frame}{Datenfluss auf abstrakter Ebene} -\begin{figure} -\includegraphics[scale=0.7]{IEC61850-5-F3.png} -\caption{IEC 61850-5, Abbildung 3} -\end{figure} +:PortableGameConsole rdfs:subClassOf :GameConsole . +\end{lstlisting} \end{frame} -\begin{frame}{Schnittstellen eines IED} -\begin{figure} -\includegraphics[scale=0.7]{IEC61850-6-F18.png} -\captionsetup{labelformat=empty} -\caption{IEC 61850-6, Abbildung 18} -\end{figure} + + +\begin{frame}[fragile]{Überblick Daten A-Box (1/2)} +\begin{lstlisting} +@prefix : . +@prefix rdf: . +@prefix xsd: . +@prefix rdfs: . +@prefix foaf: . +@prefix rev: . + +:Nintendo rdf:type foaf:Organization ; + :ceo :Kimishima ; + :foundingYear 1889 ; + foaf:name "Nintendo Co., Ltd."^^xsd:string . + +:Kimishima rdf:type foaf:Person ; + foaf:familyName "Kimishima"^^xsd:string ; + foaf:givenName "Tatsumi"^^xsd:string . + +\end{lstlisting} \end{frame} -\begin{frame}{Kommunikationswege innerhalb eines Umspannwerks} -\begin{figure} -\includegraphics[scale=0.30]{IEC_OB_Substation_Architecture.png} -\caption{Ralph Mackiewicz, Technical Overview and Benefits of \dots - Abbildung 6} -\end{figure} +\begin{frame}[fragile]{Überblick Daten A-Box (2/2)} +\begin{lstlisting} +:Switch rdf:type :PortableGameConsole . +:Switch rev:hasReview :SwitchReviewByJPT . + +:Wii rdf:type :GameConsole . + +:Wii_u rdf:type :GameConsole ; + :internetEnabled true ; + :consoleName "Wii U"^^xsd:string ; + :numOfSupportedControllers 8 ; + :predecessorOfConsole :Wii ; + :releaseYear 2012 ; + :successorOfConsole :Switch . +\end{lstlisting} +... \end{frame} -\begin{comment} -In dem Overview paper steht afaik eine gute Zusammenfassung. -\end{comment} -\section{Fazit} -\begin{frame}{Fazit} -Der IEC 61850 bringt sehr, sehr viel mit\footnote{Vor allem eine Menge an Text \dots}. \\ -Uns gefällt davon vor allem \dots -\begin{itemize} -\item \dots Interoperabilität durch Abstraktion der Daten/Services -\item \dots das selbstbeschreibendes Datenmodell -\item \dots vollständig \enquote{adressierbare} Datenattribute -\item \dots günstige und einfache Installation/Integration von IEDs -\begin{itemize} -\item Freiheit bei der Wahl der Hersteller -\end{itemize} -\end{itemize} -\vfill -\dots und das war erst ein Teil des Standards! +\begin{frame}[fragile]{T-Box (1/2)} +\begin{lstlisting} +@prefix : . +@prefix rdf: . +@prefix xsd: . +@prefix rdfs: . +@prefix foaf: . +@prefix rev: . + +# Our own properties +:ceo rdf:type rdf:Property ; + rdfs:domain foaf:Organization ; + rdfs:range foaf:Person . + +:foundingYear rdf:type rdf:Property ; + rdfs:domain foaf:Organization ; + rdfs:range xsd:int . + +:internetEnabled rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range xsd:boolean . +\end{lstlisting} \end{frame} -\begin{frame}{Quellen} -\begin{itemize} -\item IEC 61850 -\item Ralph Mackiewicz: Technical Overview and Benefits of the IEC 61850 Standard for Substation Automation -\item Ralph Mackiewicz on UCAIug Summit 11/2011: IEC 61850 Tutorial -\end{itemize} +\begin{frame}[fragile]{T-Box (2/2)} +\begin{lstlisting} +:consoleName rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range xsd:string . + +:numOfSupportedControllers rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range xsd:string . + +:successorOfConsole rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range :GameConsole . +\end{lstlisting} \end{frame} -\begin{comment} -\begin{frame}{Überblick} -\begin{itemize} -\item Zu erfüllende Anforderungen (????)h -\item We can \enquote{know} a piece of information -\item We can \enquote{share} it with other devices -\item Protokolle (GOOSE, MMS, \dots) -\item Bild: physikal/logical Device, Node, Data (Übergang zwischen Datenmodell und den Geräten) -\item Architektur einer Substation -\item Highlevel Services -\item Datenmodell, Data classes, self describing, auf Elektronikkrams abgestimmt -\item Substation Configuration Language (SCL) (nur am Rande?) -\item Vorteile durch IEC 61850 und so? -\end{itemize} +\begin{frame}[fragile]{Anwendung von RDFS-Regeln} +Gegeben sei folgende A-Box +\begin{lstlisting} +:Wii_U rdf:type :GameConsole . +:Switch :successorOfConsole :Wii_U . +\end{lstlisting} +mit dieser T-Box +\begin{lstlisting} +:successorOfConsole rdf:type rdf:Property ; + rdfs:domain :GameConsole ; + rdfs:range :GameConsole . +\end{lstlisting} +Anwendung der Regel \texttt{rdfs2} +\begin{lstlisting} +s p o . +p rdfs:domain c . ==> s rdf:type c . +\end{lstlisting} +Ergebnis: +\begin{lstlisting} +:Switch rdf:type :GameConsole . +\end{lstlisting} \end{frame} -\end{comment} % The end. \end{document} \ No newline at end of file