favicon.ico100644 765 144 476 10352014033 76370ustar00(( A.U4EOB-qK&p~܁ٍ{odʿݻyyfwwgwwb""(6v(`338#9P5UUUUKMKMAAۻhome.css100644 765 144 673 10352014041 71560ustar00body , td , th , p { font-family : Arial, Helvetica, sans-serif ; font-size : 13px ; } .nav , .teaser { font-size : 10px ; } a { text-decoration : none ; } a:hover { text-decoration : underline ; } td.rand_tit { border-width : 1px ; border-style : solid ; border-color : #ffffff #000000 #000000 #ffffff ; } td.rand_tab { border-width : 1px ; border-style : solid ; border-color : #ffffff #0044bb #0044bb #ffffff ; } leer.gif100644 765 144 53 10352014041 71020ustar00GIF89a!,L;titel_ernst1.gif100644 765 144 525 10352014041 106140ustar00GIF89a(!,(ƛ.jmjrCG&(Wrl5"z5oKAsiSPj?PeJf,7 k]6օw6u%HhH ȷXyI'AfǙY:& fY[&Hꚫ; k&Vz\lyXM,텥댛%lE~>nKi}~^GL:t AƼ!1H@K2Dm8'MUd02vz5.$ $Eb4$L;but0_home.gif100644 765 144 1661 10352014041 101030ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȒ(SZ<9@D*cj(2s֤M }SJS@άhjӨLJȲfϨXnJjҰM)[]߾+w,ݺR ;but0_ueberuns.gif100644 765 144 1700 10352014042 107760ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȊ,ɒɉ+UlIS#G1SƬ͈9UȹrhPF'Й:!FuT̞MZ-*tN`biuYZjԥ]Nu+ܚY{w_n x߾;but0_kontakt.gif100644 765 144 1676 10352014042 106350ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȒ(SZ<9@D$aR"L++9&Gd94hѡG!"3ϗBӥUM[>TGNS'ׯgoKVVV~tn[w^Sw0Y;but1_info.gif100644 765 144 1701 10352014042 101030ustar00GIF89aD 3f!,DH*\80Ç#JHŋ`ȱFCrɓK\9R%DayC/WDi!L@} 04(У2%*TΊ=&IUjթ7ZtbԟWbkTjk6,׵pZT˶)ܸK_Q xጇK ;but0_service.gif100644 765 144 1667 10352014042 106220ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȒ(SZy3hΚ;kZt(ӧNFr(ШN޴jT*UYyB}UjˤSjڭG-ݻC+wپ~;but0_partner.gif100644 765 144 1670 10352014043 106300ustar00GIF89aD3f!,DH*\@#JHŋ1xǏ7IȒ(SZ<9K*cvd)qDI3M/Ϣ;[rM?>}3ϥ>[:UV{JJulTU ѮmU:ŵvͫ+_~ ;but0_news.gif100644 765 144 1660 10352014043 101300ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȒ(SZ<9@D*cj(L2s&D? TgG5*9tQH_jiS8^RWj]S,QSuڶnkt.ݜv;but0_jobs.gif100644 765 144 1652 10352014043 101120ustar00GIF89aD33f!,DH*\@#JHŋ1xǏ7IȒ(SZ<"0'Rf̛ffϚ9{ӦϜ<YTˣG. iRI#zO>ueղhsM˵)ۡnތ+&;titel_ernst2.gif100644 765 144 5117 10352014043 106410ustar00GIF89a333ffffff33̙33ff333f33f33f3̙ff3f̙3f̙fff3̙3f333ff33fff3f3ff3ff33f3f33ff3f3̙33ff333f33ff333f3f3ff3ff̙f3f33̙ff̙3f3ff3f333ff3f33ff0@ h8 p(0(h8 0 Px0 h@ (`(Hxpx(0( h0 8x@ppxxHhp@xX`h3ff3f8pX``hf3PX0hf3f3f33f3ff33f33ff333f33ff33f3f33fff3f3ff̙3̙3ff3ff3f̙̙3f333ff3f3fff3ff3f333!,H *\XaBB Ä#fH!G?9/Y(Q4aʗ0GDsQ2sB@ @rXȡҠ:5JaϞJ(R\ÊKYҖ]Yʝ*]JvS!)W]LxJ+&wpP_ll(ԠAB81ƅCF(4ĕ"2ͺ4%b˞؁m ;^ZZIrKKIN]G>:sB\Jң:ϾwK㟯g~>}vͦUkmZJpP%']zʽ{=]zWa .܂aq8][Vˊa"v\wH$8/vɧAxt{"~ȣߊ,䖒Ĉq#RC=i$fB d֕i& fHd$Ft |!'y%">c:T5䟍"4vo)vz$wB i* Jh`r"埱"Iaޭ9shz%.YVYhF\QV {"lf!bج*XmJҹmskz(%k/i[`.MhD2lmqZk]K޺~ֵN?S”g]jd[Z;t~U@`o`F5 n'[žp6< q= Md"D=G`:4>/453  3""33333333333333333333333333333333333333333333333333  }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyzw!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?Aq }pʏXG1hX8TTqc4DW1;YEhv*_k8XBxG1ɢY/揩a ?CҏK8OXD|4}K?|9C|G԰ʇ_,hK_vg? >Dh Edd}KK pRkW6fzKXE,]Wdϲ~T}KZÆiS*k3ETU يU&V?VT: UMԵR}}[ P_}+VxwPY},z- jxuP,MgÖy~U?U*/g imRG3WfMiKXGI2^$XD1ꢡ0V/=FRU`$*TOױ+2FLG"XOYy؞J_S>_7B>OOQ:h!hDžg_]9!ږRx:Kx"6lsxGB¶(_ 'tn?ٶ)<-QK]Yoxm lO ԯnD[VJ|#3lG}s̑|e`?KQK_;x;+Fl} aiGw|.TQ1odEKMme0? \d6j O N?dkZ_i𗆐4n?qRedO *_SfTO[X*?C_mIx}y])F^a_Ѵf?ʅf6]@\ĺE GP}~1h~]>KCQ?_;pQ*ȃ؟dХ7}JX:WECm.vij^1 sНtU!kM?(N?ح~_eN1K3L6 vtC ߕJ.res~ӗb)chѥS^EcjՔ7 .h_G:c;^CӑvTxL2WqBXSvRa'_5@r_F#TZWqBi0faWEF'  [تJX\3WA 3T_ _ݖt/Kٖ3hᩤQtמA;+{dž%Wø1@NL7 htxײ , MGJ _xn91Xhx\,wW{6,Ku.}JV1a\n!-YW*}`"3o:YxM=av?*`z6qM-=90J$bSv@$ -U}6-+F9w-[ԚqՂY Q*Ӻ"TbpKƅ#F\j#&ޤNmHR#NÍ+X(ߨđ"ܫPKn%F(Ȁ9^Z%hH!gO񨓱]T:m-|áMƱmrOtd`_*,Fl k7BaZ2"(UVrCɪ–04 )%yBթ*f,TdfTQH!M_ӯ%,zvE2-$jlCo.d4aⳎRJ-hC $fkfȖ֦)9WО{<8>sͰklj3 ]nuq$p(l&qm +~t4SVSgng-ɩ1F\CΥ&9?8]7fW4CIeNOj4݁=KΞSKq^]%%e*,CcM',7^}csD}qJger7|LHWr3 lLE#/RK*mbwN&Ӧ?n >iN:'Qv>Bq\ GWYT;҅(mrSIɡ-6Sʝ7rjjwFBHV8R%+ZrQMJ=k*8:wOgV0]2{-5Wob `*UI1).<}ҌBV+HjK$} hi1ѡ6a5b-2GV4.=XuK^6; 9=*zBGҙ7$qIkA-PW602A7"(>uimT w B@JPJR/E?Z2A@Ӱ=ԍB7 hUB ISIWmZ'TXp8'?Ώfrkj_fm9t{8b$n?(*?ܤ[) %t)MPʟ9gh*d#ėF]9 9!ԟ5[ŗ|Ed轪~Q˟O|.*B <9r湥 D;vVS 3գA*"oٍ`U>nd:W7wqWOSUUC(_QC(_((ӭj%S_QQV-)fh(mj;GS~C)}f?uQco `#zAk I}YW)}b?' >W?$?O?Ua}ZW=oR_Qj aV$:?§_UC*WOSGj0}VgP--5>GD}RoUfR_dQev? Ml}zY{v\V5=;.?Qը_cˏ}f`ej>Wð}zYa>q=Z`0 t:L!Gj0 }.v?_vF~`/u[J_Y.|\?aG I}?op.\—j0GE]Ztҏb~GE׿(_((U /Q?Q?Gj0G@k?Gj0}RmRo+t?_@WO [_5è][}^a>u=0{ }_٩n>u=0{ }G[5Z)}s=MLqcti剫-]?ը&tRcO}zKUz=@ujoUƨt\V_Q{v\Vmk`uj>Q+\=;ը&v{}?}n>s=Zb*n?٪[)\Vxݱv\fo>s=`֩U^/?o'Scursor_blink.gif100644 765 144 1256 10352014044 107200ustar00GIF89a( 0(H(P(X8X(h3f8`8p8xHHHHHHHHHPXX@XȠh`@x@x``h`ب(h8pHphxX`XPX`0pPX! NETSCAPE2.0!2,@pH,r,(Hlq4 $(=iO er^v:^u{sobcmlrzqxwkitwqWnXdWmW\eu\\dک}XVZ׆_ae (H``Ç@!2,M@X&3y8 Y%sL}0, j5)@tRծAaXf+%!/2377113C22A!This animated GIF file was constructed using Ulead GIF Animator Lite, visit us at http://www.ulead.com to find out more.USSPCMT;but0_login.gif100644 765 144 253 10352014044 102420ustar00GIF89aD!,D|+<6eu:MFrI0! #n+i=SSU*ZN)z_Fm5jf_W8ba3qȨ(d7IYiy)T;patent_button.gif100644 765 144 2017 10352014044 111060ustar00GIF89aX$ @TI` G$3l@/-YX6C]oOTId3o&Kb&6E4|D@X$g@~% ,!This GIF picture was created in the European Union. We do not intend to ask any license to Unisys. According to European Laws, (1) interfaces and formats can not be protected (2) Programmes can not be patented,X$@` dihl[& Bҁ@~@8I #&&"EiPPD*BWà/|j"n_;RFeGdF4,  Z.OQ&H# 0 75?B4=#^tq<>8)|  3]Kc4at>n$$xyUULâc9<z"5z8p@03Za]GWZA)b1-%$t$lqpf1BARh@A zSd%rrX]0Vnk.9H66 :B{ fd@"N #KL),Yw3eL(}N;5-=zh6$UM:X y G&G" gD3`0hpX`TDHhIsbv+Y_僱f'3D Q6E`BjjrZZbzzʖ^^bRRYFFJzzFFN֪ʢʢҪ칹66>ڼ&&""&JJNZVbvv~ڶʞʦֲƦƞ֮ڮ޾ΦΦҪ΢~v֪rv~¦žjjv*"&ڲϪ:BBҦƦfZhrjv6*2޲nfnBFJ>BFRVZ^bfjrvJRVv6.6F6B֚vr~F>F*22~r~NBJjZjvήƦƪƪΞƮҖڎҶf⊢vҚ*N~zjڊ&Jښ>^NjJj*RʪΖJjҺVvr~n>brn^v6V 2BBfNn^z~rRn>>f2Zzb! ,dI H*\ȰÇ#J\E3j܈p Hd(!SV br`ʖ %4aN#3SPR$8 2@QTΌX@jȧ/r M A,&uhU% 1T@ VAbqd^ rX$d  *@/CfC-[8!]SiQX qL>A"`/O V۷Sm1@b <`"H+tżR 4lZB=?zd Bl1D Td KST-WE)8p@BE*L|EWVD5uKR!QX a$OBAąDEI2Ψ#z#R(?5 0S H6PF)TV 9`eO8eږ ` VPHUL& jZ 5`#` 2[ V73@%PQ;t"ל< Ȑu=rj'ji p*@jA(k9ki@9Fi:TP Pb2t^ f lJh΄m*W@ =$ a 'Zst;YDhN`)x;}aD[ \2 j)ӻm[V>.AFeqL@8dj0N̄kђ3Ac9<3oӲGơ=3;(/=;s=G%kwduaw)DP|tw8AG~@zN;!  (Q!R!$bϖΊ,H#<I$H2z@%@aw5ѳ%\`#%d%zL?O@"qh '@rHx CN"jP/qa8w!q(D #O[Zx4mik0@FARb 0)P Z* HE*\ X)fAZ.r]h?~`cxE1a bH2 f4xFhDCӠF5aQF6mp`| DC8|q d2!r&R@;abb_3.gif100644 765 144 3064 10352014045 71720ustar00GIF89aj? 2ʢº鳐yZZ^ffnv..2226yyt**.66:ZZbVVZ{nnx^^fjjrFFJBBG&&{NNRJJNZVbvv~RRYbbjκغ۪~~G9HQATqpZu$&gSi( )w_{gSltjUopZrmXoD7D+",G9KvWF[J2>}ddPi;/;G7K]K`qA4DN>Q ! ,j?ž¯ɰ˴ՠؼܪݮܬϱٶԷη 40S*\Ç &`a$n#G1ule(ShE0ayQ8( RR1hP;+!4hNrzte$֣ \Tk!Wj`).uH۴P&xnB'.Še$}!$S%JP2i 3 Bi 2hP!"SOZp`(HJV\yr?G Qĉ (RPbI F87 Xdre.]x0b#p,XЂ / vR0!aeaQPi@~@ 4 PC p(ICW'SmtфocXX.Ť ,` TyAQ4eC9D``uTuNr&Lx=؜nʼn )V$lRύƧQer盝\ؘY:#;@Zq S=j BĴ ɫꫬry*" lKH",&+:+IDm2zn+* sv.ꈛ!n{n+Χ o:R^+*læ+/R|lOK, [m^l6 o3(1Hղ/.;v4?MS+ 35_-~Jcp6o]7vlKy -wǍ7P. xz\}#N nߪPRxޠ?zJ:K c.k80>._^꯷~~L{c|ݳz7#<*oCໝw^?}{{#_̇;eqn 4;ޱNqꪝUW F/q F;Mn|`=Bá{&`;v1PYX9n6#!DŽ+""HL+ć;abb_4.gif100644 765 144 3415 10352014045 71730ustar00GIF89ag[ 2ZZ^ffn..2226Ɔ**.66:ZZbVVZnnx^^fjjrFFJBBG&&NNRJJNZVbvv~RRYbbjʢ۪~~G9HQATvqpZu$&gSi( )yw_{gSltyjUopZrmXoD7D+",G9KvWF[J2>}ddPi;/;G7K]K`qA4DN>Q ! ,g[NJƳ͵҄ŏת<$8 LÇ1&-t"&c&Zy$S~˄$ Q#8TO421"`1!E 8p dP 8pq;#-dP-ǠA  66 B)b$(Y±!\E)`4T\9F'K)TҨb2ˉ2 Bp0_VOøˏ,ZpY_wB Q" NHOÈ1df~i0SavF)_@Æ4ȠaC;PAEO ԠZtM̈́"XъLAPU#7z)A:4$8 %A R .dD @S!E@xPIf9 jtă jȚpgxVHt&4*{*坉$硊Rdi6)"餣f*:ꫧB鬎ͤ\k" 쮢jγl.kˬ>mj싆lkSYl;.j*kozK'i-*bpcFܫWLqJ<_\.,2,<%돸}uܷNþu\r3|<ӫ6"~8~ֻ$/o+j~$}RR#+V iY$ }%PAubaD c7*?}`І Mًp"ŋ0jȱǏ CIɓ(S\ɲ˗0cʜIJj༦g2*Ƨ1e ]jT)~l֓s(U?F uբ0 6iԲǚ 5UJתlr5:7+ڳq%+w-z>W&fRӢҋzʟ-gv Y[*=n yZn6o1˶LzoO |` U9zƩμ:aÅ^vfkK|^c/^us(*( pw : Z &q!k'!?"Mxp"V&җ(Cx]@+o86(#6zأAg4Ȇ;7?r%_m5fcL9ha X۵ęɥa8$gWeGXfOip&~f'Dy I^Yijx_>g}GY^ԑ#.`?Ñ`F ZL!,h  yApy!fȾM.CC 07T#hB}X'p/lő.N"Dx&KhFaHC'*SAoâh$1kD#E0Vc"TѐdhIA*򏛼# IfrA#LJMbO>OnyS/b.yȡ *ĖLȌfj>s6fjvStK08RYHTⲘu`g#}ʣȳ'~(~g:E_sl'=_9i|Bu=teA) E|(- ݨD9 ұ)]L)BSD{kr.}F4yg/fp,Kޘ3,fQFxuIfh>.l1u8yO;n^SzGy,d~S<9=Xy"3 $v&zri|D--8uN@7:NkEO҅<7Y$X^֏N6{C؉+Cխ8sou;-6t^7q:/6|?2[>%}%>axK5~<)0=w=5vЧ O>3/Lo<և{cKg̐zB+~$:E]G}>g>sþ}w~Eo}>|d/?L`/r_M~H}pWl~|:1~'} `@|'~(yuuBYGe&e5qć)V{r^Q&Ug4ywR6?H~8vu$7h)X7Zttw_eFzy7^燅eUi %x1tu7X$Ws{ lHjHq%{gnHb]dka4ubWihIPmOHUePTqGmI k9x}5Z:Axgu#|_(8R]t`؇v^8z聜xǀ (p8jNjX`xx٨qPuh`+!؎lUeXXxY5Qwmِ6e8،yEX|;Xa@ؑ$mX]h%ْ.2.y )U"8#"(؈@y!/x5^H!F}*IGXilXkYѓh`Y'hyflٖnp "'9)v+.uٗ1Q+Ƒ+ #&7I 3!h˜iL&H7{28"49%1,љáNњ8 ~)!iÛ?U)zYnU#(9yRI'"Ѣlјr7;qed.gif100644 765 144 107 10352014051 67450ustar00GIF89a" ! , fM&rneWm;abb_12.gif100644 765 144 1466 10352014052 72540ustar00GIF89a=^b^595"&""~~~jnj44! ,=#h꾰tv@!ƣR5[4FT6 LrI1ի>L9JMq-t}=Nw_3'PAeT̡SL4`zlOcwNjfSm6͊ːtҰrn˶-f#V'W0K0ؼ'`61[% =43^dNUQm筮>PōWȝ3ߍcaS])Kɗ._wџ#*68(qhٿiR_hyٷc_r~U}zm}(NGJi%8_D fKqk)Y xbu|gh ^g~ǣ]8ptWuJ6yH Pv2AV9X#LZa-:V呜ffc9 sb~vf"XggĹf{_/$J8iG);abb_13.gif100644 765 144 1131 10352014052 72420ustar00GIF89aX3jnj]`]343#&# ĥEIE  }}! ,X3`#88e:>pߪF1(``HAIHR 8puZ(d1mh;k(cuuBW" x%s/ xb9NmN;g IUXDE=p),NMu þŵ½3X˒n.ɹեsȮ׭j:UaqЋJO]&IL .@SPDbHQB?BFɓ(S<  m %~XsE\(1@D8Hd , /=1.F=QtG-` hNuXhj7~ ׼<@d8ch~9YVɃK?l5aH"aL})EVk:X+y d˚-d SjFSRN5tۭ&B)G 6-s B ($*k^LjZ!N\z釖eL JkerW wrVmkfԴۊˑs5}z;ًm㣜Ron'OiW߀w`9)y!;abb_15.gif100644 765 144 1061 10352014052 72460ustar00GIF89a|e! ,|eyL|ڋ N-H9ߓJ b+\^($ Ed®TW ?3W\nHmy<$XgxXXwBu1iiHɉ(GZjwJ*+Yw;D9 l| ]$==h}͖-L-\TQ}9;m&?/s4(H kS8ػv]\xF#66䎎 I ب<ch ش2&$zs5s:} hTZdSajҨ@ewWBjJ\y IP{F,5 iťlѦW➏5{-uH8kٱa ?v=s C6;0U,nRmXܦ?.t[Vr{ۣC/@ъ%o3Է!"˯o<*;abb_16.gif100644 765 144 1105 10352014053 72470ustar00GIF89a|e! ,|eyL|ڋ N-H9ߓJ b+\^($ Ed®TW ?3W\nHmy<$XgxȘXxw PvaIi# )*I jJ+7Kg{۵j0*<<ƉPl\K|:{}]},^NnB^U,%|q?߿(1a C5ࡑ/ E hl>-x" HnXNt 2,+2;٤ /%lC!+y8qIN7T)*\f5رbj!ZDU^ȹ. &"޼/T-T|}X2qXU ᱚtg:Rv9{6 sgg'd{X!f\U=Yzz#v߈Kv")4㷔{>e둘k5.9~wy=%'A} a|w`-) z;abb_17.gif100644 765 144 1125 10352014053 72520ustar00GIF89a|e! ,|eyL|ڋ N-H9ߓJ b+\^($ Ed®TW ?3W\nHmy<$XgxX&wBuYa%'Jdh K 7*[Kw˻KX*dL 9|Lz\|4] %>>fW.gO-/a N`1x u.qF'hNF(M0n|8#ABCt&u:%]<08 שXsAY"Q9Cڠ}tʋ$VyM)1` k^,inyS=a;!ZrσR/iy?sKqR7[>}-Fhn E駱(_Sp"w(-hrzrЃ3aXR;abb_18.gif100644 765 144 1313 10352014053 72520ustar00GIF89ae! ,eyL|ڋ޼oMx扦꺐W̌R WYU|̦ $KV# &.*N :խ8HXh$xhS%YYey(HezaVʪ ;Kj{(sLJ k|Y*GsJ]|]ɬ}m N(>Xn&< (?_HfX=>e?-_b` 0l!ăU/먎#H&{/ʑ"!O2gj':K1*i9#RJW`XFM*^NmhI"(Q샰b 0lڰn-0Y+|c 9dg%W|rf={m\E]|.iy%_؃i ZqPhD-md]"$fˎ}xrxẁKQ (Aj-J&못wZUP.q]n+d{8x~]H?RCoHX0Ɣ R߄ R&ZQS=`\H_8Ye$LI*6j<)%U D=Xfy6e#@F܅)T Cqι vZB;abb_19.gif100644 765 144 1446 10352014053 72620ustar00GIF89ae! ,eyL|ڋ޼oMx扦꺐W̌R WYU|̦ $KV# &.*N :խ8HXh$xhS%YY)i)JꙐ9Zj"Hp+ {0lP,p| L m,ݼ|z푨 >>.G-sf]^m?-_O߮Lo* 4;>) &DOa@DHT5tt1FոPjRrkbߐ-YWȰd"RQruƬ۳nS_Z=W[tvLhd?k'3LsfBѹЗp+j [(C*y42щ?4Ǐm88bV|p4חCEA7_yK?H$sGD|(ajw[cg{vܙ]C$@G!N-[aq m‡Zl-6Pv&b |ËŸK)ވc+~N܈rtfrUQ@(SPru)e_'$ik9$EzЈ\2g DtD('am2t<*kui fQ%駇(j$bhFʖ:ߎ޺̬);abb_20.gif100644 765 144 1633 10352014054 72510ustar00GIF89ae! ,e Sڋ޼:be|p %(&æ1R4.͊-jl\8ԎYoF}ۙ1(8hsGxh4%Y)gY٩ Jʙ Z Kz3{k+l\ +#r|k˚ ML }- -]q=K-^~Xr0JAΑ4I3E'2nEÑ;X2G+)GfėYbI-3"驓dh(J1m)TI~Lu*9X(4)1ױg9 ʸ5e%V3 yۺTwĖ38ȏ&SeAf67 |WsI/]W.jtc.ztj֦ˆk³>\oh.y1o"pǩ*742;޹;wEH/rBaڧ^|޴{1\wߟ<1`Vk`XUU8aH822!3!!˨'¡Un&TJ,ŀ7f`-ہB#ٽ1c9g$h1xdvPru@ft%axRȦbcwu`GŝtnhH=p0f $hjVw&(.e ݳrj`n:^(Ib'yƀ*bz^w)yjDvg(^r*ofSଳAwBxZW챙Z|+"Q{莡Yļݽ/g\ptFLq[qf1R#P;0.gif100644 765 144 1447 10352014054 63660ustar00GIF89aHHH3f!,;index.html100644 765 144 371212 10352014054 75750ustar00 ERNST - Information: Software-Patente unter der Lupe [4.2] - Open-Source, HTML, Shop-System, Content-Management, Online-Shop, Individualsoftware, Vertrieb, Beratung, Web-Design, Programmierung, Linux, Verkauf, Debian, Lagerverwaltung, Marketing, Pflege, Bilder, Kundenbindung, News, Software, Inhalt
ERNST Hard- & Software-Entwicklung Homepage Über uns Kontakt Information Service Partner News Jobs
Hard- & Software-Entwicklung Information: Software-Patente unter der Lupe [4.2]
Service: Kundenlogin

+ Web-Design

+ Suchmaschinen

+ Statistiken

+ Generatorsystem

+ Content-Management

+ eShop-System

+ Warenwirtschaft

+ Wartungszugang

+ Software-Patente

Information: Software-Patente unter der Lupe [4.2]

[ Zurück | Weiter ]

4.2 Mathematische Beweisführung

Inhaltsverzeichnis

1 Teile und herrsche
2 Mathematische Grundlagen
3 Turing-Maschinen und -Kalkül
4 Beweise über Software
5 Analysen
5.1 Analyse von Aussage a)
5.2 Analyse von Aussage b)
5.3 Analyse von Aussage c)
5.4 Analyse von Aussage d)
6 Schlussfolgerung
7 Literatur

1 Teile und herrsche

Die Entstehung des Patentwesens fußte im 19. Jahrhundert (dt. Patentgesetz von 1877) zwangsläufig auf den damaligen wissenschaftlichen Möglichkeiten und Kenntnissen. Ein epistemologisches Paradigma war, dass man das Wissen über die Welt in voneinander unabhängige Kategorien einteilen kann, z.B. Mathematik, Physik, Chemie, Biologie, Soziologie, Astronomie etc. und in diesen Wissensgebieten sollte es immer weitere feinere unabhängige Unterteilungen geben. Diesen Ansatz nennt man Divide and Conquer ("Teile und herrsche").

Viel später musste man feststellen, dass dieser Ansatz nicht so funktionierte wie man es sich zuerst gedacht hatte. Mathematischer ausgedrückt war die Annahme von Kategorien, eine Gruppierung von Elementen in zueinander disjunkte Mengen (Baumstruktur) falsch. Die moderne Sichtweise geht heute von sich überlappenden Mengen (Netzwerkstruktur) aus. Das wissenschaftliche Weltbild hatte besonders durch die Quantentheorie (1925-1928) eine grundlegende Änderung erfahren, die in ihrem Kern eine nichtlokale Theorie darstellt, was besagt, dass alles mit allem verbunden ist. Dies führte auch zu interdisziplinären Ansätzen: Biochemie, Bioinformatik, Wirtschaftsinformatik, physikalische Chemie, angewandte Mathematik etc.

Trotz aller wissenschaftlichen Erkenntnisse der letzten 125 Jahre, basiert das Patentwesen heute immer noch implizit auf dem überholten kategorischen Ansatz:

a) Alle Ideen sind gegeneinander abgrenzbar und es gibt unendlich viele davon.
In der Abbildung rechts soll dies durch farbige Kreise symbolisiert sein. Freie Ideen sind "blau" dargestellt und patentierte "rot". Ideen, die auf anderen Ideen basieren bzw. andere Ideen enthalten, sollen abgeleitete Ideen heissen (siehe Punkt c).
b) Zu einer Idee gibt es eine Unzahl von Realisierungen dieser Idee. Realisierungen unterschiedlicher Ideen sind voneinander verschieden.
In der Abbildung rechts sollen die weissen Kreise unterhalb der Ideen für deren konkrete Realisierungen stehen. Die roten Kästen stehen jeweils für ein Patent. Es ist wie ein Zaun um ein Grundstück. Gemeinsam genutzter Boden gibt es nicht. Jedes Patent hat somit seinen eigenen Geltungsbereich.
c) Ein Patent deckt auch die Ableitung einer Idee bzw. die Ableitung der Realisierung einer Idee ab.
Eine Ebene unter den konkreten Realisierungen sind, mit Pfeilen erreichbar, davon abgeleitete Realisierungen gezeichnet. Wenn z.B. Idee 1 das "Rad" wäre, dann könnte x für einen Schubkarren stehen. Wenn z.B. Idee 2 eine "Bremse" wäre, dann könnte z für einen Seilzug mit Bremse stehen. Der Fall einer Patentverletzung stellt y dar, wenn z.B. y ein Fahrrad mit Bremse wäre. Der Patentinhaber argumentiert, dass derjenige, der y baut sich seiner Idee bedient habe. Man sieht, dass sich der Anspruchsbereich des Patents beliebig ausdehnt, wenn die patentierte Idee in der Ableitung mit enthalten ist.
d) Es gibt noch genug freie Ideen und Realisierungen von Ideen, sodass die Menge der patentierten Ideen nicht stark störend wirkt.

Formulieren wir nun die obigen Aussagen aus dem Patentwesen um, so dass sie auf den Bereich der Software passen. Hierzu setzen wir Idee mit Funktion (bzw. Abbildung) und die Realisierung einer Idee mit einem Programm (bzw. Algorithmus) gleich:

a) Alle Funktionen sind gegeneinander abgrenzbar und es gibt unendlich viele davon.

b) Zu einer Funktion gibt es eine Unzahl von Realisierungen (Programme). Programme unterschiedlicher Funktionen sind voneinander verschieden.

c) Ein Patent deckt auch die Ableitung einer Funktion bzw. die Ableitung des Programmes zu einer Funktion ab.

d) Es gibt noch genug freie Funktionen und Programme, sodass die Menge der patentierten Funktionen nicht stark störend wirkt.

Aufgrund unserer Alltagserfahrungen halten wir alle diese Aussagen intuitiv für richtig und es scheinen nähere Beweise, die die Richtigkeit eindeutig nachweisen, überflüssig zu sein. Wir möchten nun aber in diesem Text die entsprechenden Beweise nach und nach entwickeln. Es wird sich herausstellen, dass die obigen Aussagen widersprüchlich und unangemessen sind.

2 Mathematische Grundlagen

In der Mathematik leitet man Relationen aus der Mengenlehre ab. Kommt es auf die Reihenfolge zweier Elemente x 1 , x 2 an, so wird der Begriff des geordneten Paares oder 2-Tupel ( x 1 , x 2 ) verwendet. Eine mengentheoretische Definition des geordneten Paares wäre folgende:

Definition (1)

( x 1 , x 2 ) { x 1 , x 2 } wegen { x 1 , x 2 } = { x 2 , x 1 }
aber:
( x 1 , x 2 ) := { { x 1 } , { x 1 , x 2 } }

Eine andere Möglichkeit zur Bildung von 2-Tupeln besteht darin Zahlen zur Strukturierung von Zahlen zu verwenden (Gödelisierung).

Mit geordneten Paaren kann man das karthesische Produkt definieren. Es dient einerseits der Konstruktion neuer mathematischer Gebilde, andererseits zur Definition des Relationsbegriffs.

Definition (2)

M 1 ... M n := { ( x 1 , ... , x n ) | x i M i } heißt karthesisches Produkt der Mengen M 1 , ... , M n .
Die Menge M 1 M 2 := { ( x 1 , x 2 ) | x 1 M 1 x 2 M 2 } heißt auch Paarmenge.

Definition (3)

Jede Teilmenge R M 1 ... M n heißt n-stellige Relation.

Relationen stellen meist keine eindeutigen Beziehungen zwischen Mengen her, d.h. einem Element können durchaus mehrere Elemente zugeordnet sein. Wenn es aber um Eindeutigkeit geht, benutzt man den Begriff der Abbildung bzw. Funktion.

Definition (4)

Eine linkstotale, rechtseindeutige Relation f M N heißt Abbildung (Funktion).

Anschaulich kann man sich eine Funktion als Menge von 2-Tupeln vorstellen, wobei ein Tupel jeweils eine eindeutige Zuordnung vermittelt. Mit den obigen Definitionen haben wir jetzt eine abstrakte Beschreibung der Objekte um die es in diesem Text gehen soll: Funktionen.

3 Turing-Maschinen und -Kalkül

In den Jahren 1936-1941 wurde von Alonzo Church [ CHU36 , CHU41 ] der -Kalkül zur Formalisierung des Funktionenbegriffs entwickelt. Er ist ein abstraktes Modell von Berechenbarkeit, basierend ausschließlich auf Funktionsdefinition und Funktionsanwendung. Später erkannte man, dass der -Kalkül ein effizientes Mittel zur Beschreibung von Programmiersprachen darstellt. 1960 diente er McCarthy als Basis zur Entwicklung der Programmiersprache LISP. Schon 1937 bewies Alan Turing in [ TUR37 ], dass der -Kalkül und die Turing-Maschine alternative Beschreibungen ein und derselben Sache sind: unseres Verständnisses davon was berechenbar ist. Turing-Maschinen sind heutzutage allgegenwärtig, denn jeder existierende Computer bzw. PC ist eine Turing-Maschine.

Es folgt eine Definition, was unter einem Kalkül zu verstehen ist:

Definition (5)

  • Ein Alphabet ist eine Menge von Symbolen.
  • Die Menge aller möglichen Worte über dem Alphabet A soll durch A * beschrieben sein.
  • Eine Sprache K über einem Alphabet A ist dann eine Teilmenge aller möglichen Worte über dem Alphabet, somit: K A * .
  • Ein Kalkül ist eine Sprache mit einer Menge von Transformationsregeln, die auf der Menge der Worte der Sprache definiert sind.

Ausgehend von (5) wird die folgende Definition des -Kalküls verständlich:

Definition (6)

Es sei V eine abzählbare Menge von Variablen. Die Sprache L der -Terme ist über dem Alphabet V { ( , ) , } induktiv wie folgt definiert:

x V x L
M , N L ( M N ) L                   Applikation
x V M L ( x M ) L         Abstraktion

Eine genauere Erläuterung ersparen wir uns hier, da dies der interessierte Leser in der vielfältigen Literatur zum -Kalkül nachlesen kann. Die ausreichende Kenntnis des -Kalküls sei aber für die weitere Lektüre dieses Textes vorausgesetzt.

Anmerkung

Es sei hier noch auf einen Widerspruch des Patentrechts hingewiesen, wenn Software patentierbar wird. Im Patentrecht hat man mathematische Formeln ausdrücklich von der Patentierung ausgeschlossen. Wie wir aber gesehen haben ist Programmieren nichts anderes als Mathematik, wenn man den -Kalkül o.ä. verwendet und Programme sind mathematische Formeln. Dass dies auch in der Praxis funktioniert zeigen funktionale Programmiersprachen wie LISP, ML, Miranda, Haskell, Scheme, Clean etc.

4 Beweise über Software

Beweise über Eigenschaften von Programmen zu führen ist ein schwieriges Unterfangen, da es in der Informatik viele Problemstellungen gibt, von denen bewiesen ist, dass sie unlösbar sind.

Das bekannteste Problem ist sicher das Halteproblem. Beim Halteproblem geht es um die Frage, ob es ein Programm gibt, das für jedes Programm entscheiden kann ob dieses anhält bzw. terminiert. Diese Frage ist unlösbar. Ein solches Programm existiert nicht.

Es kommt aber noch schlimmer: Rice [ RIC53 ] hat 1953 bewiesen, dass praktisch alle interessanten Aussagen über Programme im Allgemeinen nicht entscheidbar sind (siehe auch [ RIC56 ] oder alternativ [ HOP79 ]).

Satz von Rice

"Jede nicht triviale semantische Eigenschaft von Algorithmen ist nicht entscheidbar."

Eine Eigenschaft nennt man in diesem Zusammenhang trivial, wenn entweder jede oder keine berechnete Funktion sie besitzt. Somit sind beispielsweise nicht entscheidbar,

  • ob die berechnete Funktion total, überall undefiniert, injektiv, surjektiv oder bijektiv usw. ist,
  • ob zwei gegebene Algorithmen dieselbe Funktion berechnen,
  • ob ein gegebener Algorithmus korrekt zu einer gegebenen Funktion ist, d.h. es wird nie ein Programm zur allgemeinen Software-Verifikation geben.

Auf der einen Seite ist es schon entmutigend, wenn man den Satz von Rice liest, aber auf der anderen Seite kann man der Tatsache auch etwas positives abgewinnen. Wenn es nämlich gelingt einen Beweis zu führen, dann beweist man immer eine triviale Eigenschaft von Algorithmen, die uneingeschränkt für alle gilt. Natürlich schränkt der Satz von Rice die Möglichkeiten ein. Er gibt aber auch Hinweise wie man Beweise zu konstruieren hat bzw. wo man suchen sollte.

5 Analysen

5.1 Analyse von Aussage a)

a) Alle Funktionen sind gegeneinander abgrenzbar und es gibt unendlich viele davon.

Wir präzisieren die Aussage, indem wir nachweisen, dass es überabzählbar viele Funktionen gibt und dass nur abzählbar unendlich viele davon berechenbar sind.

Definition (7)

Eine Funktion heißt berechenbar, wenn eine abstrakte Maschine existiert, die die Funktion berechnet (ausführt).

Wenn wir prüfen wollen, ob es Funktionen gibt, die sich nicht durch Algorithmen berechnen lassen, dann hilft uns folgende allgemeine Eigenschaft von Algorithmen:

Jeder Algorithmus läßt sich durch einen endlichen Text über einem festen, endlichen Alphabet beschreiben.

Sei A ein Alphabet A = { a 1 , ... , a n } dem eine alphabetische Ordnung a 1 < a 2 < ... < a n zugrunde liegt, dann ist bekanntlich A * die Menge aller Texte bzw. Wörter über A :

A * = { , a 1 , ... , a n , a 1 a 1 , a 1 a 2 , ... , a 4 a 1 a 6 a 2 a 1 , ... }

Das Zeichen soll hierbei für das Wort mit der Länge 0 stehen.
Nun kann die Menge A * zunächst der Länge nach aufgelistet werden, d.h. zu jeder Länge m gibt es n m verschiedene Wörter über A (also endlich viele); dann sortiert man noch innerhalb der Wörter gleicher Länge lexikographisch, also bei b 1 b 2 ... b m < c 1 c 2 ... c m gilt b 1 < c 1 (b 1 = c 1 b 2 < c 2 ) ... (b 1 = c 1 ... b m-1 = c m-1 b m < c m ). Damit haben wir eine Ordnung auf A * eindeutig bestimmt und es folgt daraus: A * ist abzählbar.

Da es nicht mehr berechenbare Funktionen als berechnende Algorithmen gibt und nicht mehr Algorithmen als die sie beschreibenden Texte geben kann, gilt offenbar: Die Menge der berechenbaren Funktionen ist abzählbar.

Funktionen gibt es aber weit mehr. Betrachten wir hierzu die auf der Menge der natürlichen Zahlen definierten Funktionen f, die als Ergebnisse nur die Werte 0 oder 1 liefern; jede davon definiert eine Teilmenge M f derjenigen Zahlen m , für die f(m) = 1 ist. Umgekehrt gibt es für jede Teilmenge M eine solche Funktion f M , die charakteristische Funktion der Menge M . Die Menge der Teilmengen M ist aber überabzählbar, ebenso also die Menge ihrer charakteristischen Funktionen; und damit die Menge aller Funktionen erst recht.

Die Folgerung daraus ist, daß es nicht berechenbare Funktionen geben muss.

Anhand dieser Ergebnisse kann man zwar sagen, dass es mehr Funktionen gibt, als man berechnen kann, aber die Aussage unter a) ist dennoch wahr.

5.2 Analyse von Aussage b)

b) Zu einer Funktion gibt es eine Unzahl von Realisierungen (Programme). Programme unterschiedlicher Funktionen sind voneinander verschieden.

Wir wissen, dass Funktionen durch Programme berechnet werden können. Wenn es um eine konkrete Funktion f geht, dann kann man sie als Abbildung f: A B schreiben, d.h. f bildet die Menge der Eingabewerte A auf die Menge der Ausgabewerte B ab.

Funktionen können wie anfangs gezeigt als Menge von 2-Tupeln aufgefasst werden. Die einfachsten Funktionen, die man sich vorstellen kann wären jene, die nur ein 2-Tupel enthalten. Kompliziertere Funktionen lassen sich aufbauen, indem einfach weitere 2-Tupel hinzu genommen werden. Um nicht alle Tupel explizit aufzählen zu müssen, gibt es auch zahllose Möglichkeiten die Tupel-Belegung zu berechnen.

Beispiele

f(x) = { 1234 für x=1
g(x) = { 1234 für x=1 und 48 für x=2 und 543 für x=3
h(x) = { 1234 für x=1 und 0 sonst
k(x) = x 2 - 2x + 1

Betrachten wir nun drei spezielle Funktionen f 1 , f 2 und f 3 :

f 1 (x) = { 0 für x=0 und 1 für x=1
f 2 (x) = x
f 3 (x) = x 2

f 1 besteht aus zwei 2-Tupeln, d.h. der Definitionsbereich und der Wertebereich sind nur für 2 Werte definiert. Im Gegensatz dazu seien f 2 und f 3 über ganz definiert. Wenn wir nun festlegen, dass für unsere Rechnungen bei allen drei Funktionen nur zwei Punkte (0 und 1) im Definitionsbereich verwendet werden sollen, sehen wir, dass alle drei Berechnungen dieselben Werte liefern.

Hinweis: Beim Programmieren benutzt man Typendeklarationen zur Eingrenzung des Definitions- und Wertebereichs.

Man kann daher sagen, dass x und x 2 ebenfalls gleichwertige Algorithmen zur Berechnung von f 1 darstellen und man kann sagen, dass f 2 und f 3 Ableitungen von f 1 sind, da sie f 1 komplett beinhalten. Umgekehrt gilt dies nicht.

Diese Eigenschaft von Funktionen ist kein Zufall. Es liegt daran, dass Relationen als Teilmenge definiert wurden. Siehe Definition (3).

Bei der Programmierung eines Computers ist man noch stärker eingeschränkt. So lässt sich z.B. f 3 (x) = x 2 gar nicht wirklich berechnen. Wegen begrenztem Speicher und Rechengeschwindigkeit können Programme meist nur Näherungen von Funktionen ausrechnen, d.h. man berechnet nur eine Teilmenge der eigentlichen Funktion. Ein eingeschränkter Definitions- oder Wertebereich stellt aber strenggenommen eine andere Funktion dar.

Damit haben wir gezeigt, dass ein Programm durchaus für mehrere Funktionen die korrekte Abbildung berechnen kann, ja dies sogar zwingend tun muss, sonst könnten Programme überhaupt keine Ergebnisse liefern.

Dies steht im Gegensatz zur Aussage b), dass Programme nur einer Funktion zugerechnet werden können, was ja Voraussetzung im kategorischen Ansatz war.
Aussage b) ist somit falsch.

Anmerkung

Man vergleiche Mehrdeutigkeit und Resourcenbeschränkungen bei der Funktionsberechnung durch Programme mit der Folgerung, aus dem Satz von Rice, nach der es nicht entscheidbar ist, ob zwei gegebene Algorithmen dieselbe Funktion berechnen.

5.3 Analyse von Aussage c)

c) Ein Patent deckt auch die Ableitung einer Funktion bzw. die Ableitung des Programmes zu einer Funktion ab.

Nach Aussage c) verletzen alle Funktionen eine patentierte Funktion, wenn sie eine Ableitung davon darstellen. Im vorigen Abschnitt hatten wir schon eine Art von Ableitung kennengelernt, die darauf basiert, dass eine abgeleitete Funktion genau die 2-Tupel der patentierten Funktion enthält.

Es gibt aber auch Funktionen, die nach außen keine oder nur sehr wenige gemeinsame Tupel besitzen, aber dennoch ist die eine Funktion komplett in der anderen enthalten, um eine Berechnung zu realisieren. Somit liegt auch eine Ableitung vor.

Wir wollen nun das Enthaltensein einer Funktion in einer anderen Funktion genauer untersuchen.

Zur Veranschaulichung betrachten wir Darstellungen von Relationen als Matrizen. Es sei immer eine Funktion f: A B gemeint und es gelte: a 0 , a 1 , ... , a N A und b 0 , b 1 , ... , b M B . Weiterhin bezeichnen N und M die Mächtigkeit der Mengen, also N = card( A ) und M = card( B ).

Wie man sieht, gibt es nur drei Fälle. Da wir uns auf Funktionen beschränken wollen, also rechtseindeutige Relationen, entfällt Fall 3) und sei hier nur der Vollständigkeit halber gezeigt. Jedes Kreuz steht für ein Tupel. Als Charakteristik können wir die Anzahl der Kreuze pro Zeile bzw. pro Spalte bestimmen.

Fall 1)   Fall 2)   Fall 3)
Zeilensumme   1 1 2,...,M
Spaltensumme   2,...,N 1 1

Da die Matrizen nur wirklich vorhandene Tupel darstellen (in der Abbildung bitte über die Ungenauigkeit im variablen "..." Bereich hinwegsehen) muss jede Zeile oder Spalte immer mit mindestens einem Kreuz belegt sein.

Im Fall 2), d.h. N = M, sind alle Summen gleich 1. Es wird also jeder Eingangswert auf einen anderen Ausgangswert abgebildet. Wir können sagen, dass die Abbildung in diesem Fall eineindeutig ist, also b i = f a i und a i = f -1 b i .

Im Fall 1), d.h. N > M, gibt es Spaltensummen, die größer als 1 sind. Es werden so mehrere Eingangswerte auf denselben Ausgangswert abgebildet. Es gilt nur noch b i = f a i . Die Umkehrfunktion gilt nicht, da sie mehrere Werte liefern müsste, was wir ja ausgeschlossen haben. Dennoch können wir auch hier die eineindeutige Abbildung finden.

Satz (1)

Jede Funktion f: A B besitzt eine innere eineindeutige Kernfunktion K Q mit Q = card( B ).

Beweis (1)

Wegen des Aufbaus der 2-Tupel erzwingt eine Anzahl von M = card( B ) Ausgabewerten auch M Eingabewerte. Da Funktionen rechtseindeutig sind, müssen die Eingabewerte alle verschieden sein. Diese 2-Tupel bilden die Funktion K Q (bzw. die quadratische Matrix K Q ) mit Q = M = card( B ). Q ist die Anzahl der Zeilen bzw. Spalten dieser Matrix. Falls die Anzahl N = card( A ) der Eingabewerte größer als Q ist, müssen N-Q Eingabewerte redundant sein und auf Werte abbilden, die schon von K Q erreicht wurden. Für N = Q = M gilt: f = K Q . qed

Da K Q immer existiert, können wir nun jede Funktion basierend auf ihrer charakteristischen Kernfunktion K Q darstellen.

Satz (2)

Jede Funktion f kann als Kombination einer Mappingfunktion q a und der Kernfunktion K Q ausgedrückt werden.

Beweis (2)

Aus Satz (1) wissen wir, dass jede Funktion f: A B eine Kernfunktion K Q mit Q = card( B ) enthält. Wir bestimmen zwei neue Mengen A q und B q für die Abbildung K Q : A q B q . Es gelte: B q = B und A q A . Wir schließen die Lücke zwischen A und A q mit einer Mappingfunktion q a : A A q .

Die Funktion f lässt sich dann im -Kalkül schreiben als f = x . K Q ( q a x ).

Im Fall card( A ) = Q müssen wir nur q a = I (Identität) setzen.
Prüfung: f = x . K Q ( q a x ) = x . K Q ( I x ) = x . K Q x = K Q .

Im Fall card( A ) > Q müssen wir q a so wählen, dass jene Q Elemente aus A , die K Q bilden, direkt auf A q gemappt werden. Die redundanten Eingangswerte bleiben übrig und werden so auf A q gemappt, dass sich nach Durchlauf durch K Q der gleiche Ergebniswert ergibt als hätte man direkt in B abgebildet. Man mappt quasi die redundanten Eingangswerte auf einen Repräsentanten in A q . Dieses Mapping ist immer ohne Probleme möglich. qed

In Beweis (2) haben wir B q = B festgelegt. Dies hätten wir auch anders machen können. Indem wir eine weitere Mappingfunktionen q b : B q B einführen und q b = I setzen, erhalten wir dasselbe Ergebnis. Wir können dies wieder verallgemeinern und damit dann die Kernfunktion K Q : A q B q durch die Identitätsfunktion I Q : {1,2,...,Q} {1,2,...,Q} ersetzen. Die Aufgabe von I Q ist es einfach gesagt, das Intervall 1,2,...,Q der natürlichen Zahlen auf sich selbst abzubilden. Je nach Wert von Q ergibt sich eine andere Identitätsfunktion I 1 , I 2 , I 3 , ...

Satz (3)

Jede Funktion f kann als Kombination von zwei Mappingfunktionen q a und q b und einer für f charakteristischen Identitätsfunktion I Q ausgedrückt werden.

Beweis (3)

Im Beweis (2) haben wir eine Funktion f als f = x . K Q ( q a x ) geschrieben. Nun wandeln wir diesen Ausdruck leicht ab in f = x . q' b ( K Q ( q' a x ) ) und denken uns q' b = I und q' a = q a . Wir sehen, dass sich dadurch die Aussage nicht ändert.
Da K Q eine eineindeutige Abbildung vermittelt, ist K Q : A q B q isomorph zu I Q : {1,2,...,Q} {1,2,...,Q}. Es sei I Q die Identitätsmatrix der Größe Q. Wir nutzen für die isomorphe Abbildung wiederum zwei Mappingfunktionen m a : A q {1,2,...,Q} und m b : {1,2,...,Q} B q . Damit schreiben wir den Ausdruck für f nun als f = x . q' b ( m b ( I Q ( m a ( q' a x ) ) ) ). Es macht keinen großen Sinn zwei Mappingfunktionen hintereinanderzuschalten, wenn eine Mappingfunktion dieselbe Abbildung leisten kann. Wir definieren q b = x .( q' b ( m b x ) ) und q a = x .( m a ( q' a x ) ) und haben damit dann f = x . q b ( I Q ( q a x ) ). qed

In Beweis (3) konnten wir nachweisen, dass in jede Funktion f eine Identitätsfunktion I Q mit Q = card( B ) einbettbar ist. Die Identitätsfunktion bzw. die Zahl Q ist dabei ein wichtiges Klassifikationsmerkmal. Man kann die Beziehungen, die f = x . q b ( I Q ( q a x ) ) ausdrückt auch grafisch darstellen.

Man erkennt sehr schön in der Grafik, dass es zwei Wege gibt, wie man A auf B abbilden kann.

Nun sind wir an einem Punkt wo wir unsere Überlegungen auf die Zusammenhänge zwischen zwei beliebigen Funktionen f 1 und f 2 ausdehnen können.
Es seien dabei folgende Abbildungen gemeint:
      f 1 : A 1 B 1 und f 2 : A 2 B 2 .
Die Kardinalitäten erfassen wir mit:
      N 1 = card( A 1 ), N 2 = card( A 2 ), M 1 = card( B 1 ) und M 2 = card( B 2 ).
Es gelten die Bedingungen:
      N 1 >= M 1 und N 2 >= M 2 .
Die Identitätsfunktionen seien:
      I Q1 mit Q 1 = M 1 und I Q2 mit Q 2 = M 2 .

Wir bilden jetzt Äquivalenzklassen über die Differenzen N 1 -N 2 und M 1 -M 2 . Damit können wir Funktionen miteinander vergleichen. Die Idee, die dahinter steckt ist folgende: Es ist unwichtig wie groß die Matrizen sind. Wichtig ist nur um wieviele Zeilen oder Spalten sie sich voneinander unterscheiden.

Beispiele

N 1 M 1 N 2 M 2 N 1 -N 2 M 1 -M 2
5 4 5 4 0 0
12 12 12 12 0 0
6 4 3 3 3 1
8 6 5 5 3 1
12 12 10 8 2 4

Die Differenzen N 1 -N 2 und M 1 -M 2 lassen sich in ein 2-dimensionales Koordinatensystem eintragen. Damit werden die Beziehungen wesentlich anschaulicher. Da wir immer die Mächtigkeiten von f 2 abziehen ist f 2 unser Bezugssystem. Der Koordinatenursprung drückt somit die Identität zu f 2 aus, d.h. alle Funktionen, die gleich große Matrizen zu f 2 haben kommen im Punkt (0;0) zu liegen.

Wenn f 2 eine patentierte Funktion ist, können wir sagen, dass jede Funktion f 1 , wenn sie auf (0;0) abgebildet wird, eine Patentverletzung von f 2 darstellt.

Beweis (4)

N 1 -N 2 =0 und M 1 -M 2 =0 bedeutet gleich große Matrizen. Die Identitätsmatrizen haben die gleiche Größe wegen Q 1 =M 1 =M 2 =Q 2 . Es gibt auch gleich viele redundante Eingangswerte wegen N 1 -M 1 =N 2 -M 2 . Umgeformt: N 1 -N 2 =M 1 -M 2 , also 0=0. Damit existiert ein eineindeutiges Mapping zwischen den beiden Funktionen. f 1 x kann als q b ( f 2 ( q a x ) ) dargestellt werden. qed

Wir zeigen nun, dass alle Funktionen f 1 mit M 1 -M 2 =0 und N 1 -N 2 >0 eine Patentverletzung von f 2 darstellen.

Beweis (5)

M 1 -M 2 =0 bedeutet gleich große Identitätsmatrizen wegen Q 1 =M 1 =M 2 =Q 2 . Da N 1 -N 2 >0 sein soll, bedeutet dies, dass f 1 mehr redundante Eingangswerte als f 2 hat. Redundante Eingangswerte lassen sich aber immer durch eine Mappingfunktion auf einen Repräsentanten reduzieren, siehe Beweis (2). Sei f' 1 x' = q b ( f 2 ( q' a x' ) ) eine Funktion wie unter Beweis (4) welche in (0;0) zu liegen kommt. Mit einer Mappingfunktion m a bilden wir die redundanten Werte x auf ihre Repräsentanten in x' ab. Also: x' = m a x und somit f 1 x = q b ( f 2 ( q' a ( m a x ) ) ). Da man zwei Mappingfunktionen zu einer vereinigen kann, können wir mit q a x = q' a ( m a x ) auch wieder f 1 x = q b ( f 2 ( q a x ) ) schreiben. qed

Wenden wir den Beweis (5) umgekehrt an, können wir sagen, dass wir von f 2 aus durch Hinzufügen von redundanten Eingangswerten jede Funktion auf der Achse N 1 -N 2 >=0 erreichen können. Aus der Sicht der Matrizen bedeutet dies ein Hinzufügen von Zeilen.

Wir können aber auch Spalten hinzufügen und es ergibt sich eine neue Achse. Auch hier zeigen wir, dass alle Funktionen f 1 , die auf dieser Achse liegen eine Patentverletzung von f 2 darstellen.

Beweis (6)

Wir beweisen konstruktiv, indem wir von f 2 ausgehen. Beim Hinzufügen von Spalten müssen wir beachten, dass wir das nicht unabhängig von den Zeilen tun können. Da wir nur Funktionen zugelassen haben, erzwingt jede neue Spalte auch eine neue Zeile. Wäre dies nicht so, gäbe es mehrere Ausgangswerte und das ist dann keine Funktion mehr. Wir wandern somit auf einer 45°-Achse. Damit ist eigentlich schon alles bewiesen. Da wir von f 2 ausgingen ist f 2 auch nach dem Hinzufügen weiterhin in der neuen Matrix als Untermatrix enthalten. Da f 2 nicht alle Werte von f 1 berechnen kann, können wir dies mit einer anderen Funktion f 3 und einer Fallunterscheidung tun. f 1 x kann z.B. einfach als q b ( ( if ( zusatz x ) f 3 f 2 ) ( q a x ) ) dargestellt werden, mit if = p x y . p x y und zusatz als Funktion, die true = x y . x dann liefert, wenn x ein neuer hinzugefügter Wert ist und sonst false = x y . y. Dies wählt dann entweder die Funktion f 3 oder f 2 zur weiteren Berechnung aus. qed

Da eine 45°-Achse für die weitere Fallunterscheidung nicht sehr anschaulich ist, ändern wir unser Koordinatensystem ein wenig ab. Wir können eine Koordinatentransformation machen, indem wir einfach N 1 -N 2 subtrahieren, d.h. unsere waagerechte Achse sei nun (M 1 -M 2 )-(N 1 -N 2 ). Damit sind Änderungen an den Matrizen bzgl. Spalten- oder Zeilenzahl ein Wandern parallel zu den Achsen.

Die Ergebnisse von Beweis (5) und (6) lassen sich kombinieren. Eine beliebige Funktion f 1 ist erreichbar, wenn man von (0;0) ausgeht und auf der waagerechten Achse solange nach rechts läuft bis man denselben Koordinatenwert erreicht hat. Dann läuft man auf der vertikalen Achse nach oben bis man auch hier denselben Koordinatenwert erreicht hat. Damit kann nun der ganze erste Quadrant erreicht werden.

Wir leiten nun die Patentverletzung für den zweiten Quadranten ab. Dies ist etwas schwieriger, da f 1 weniger Tupel als f 2 besitzt. Da man aber davon ausgehen darf, dass innerhalb von f 1 eine Berechnung über mehr Tupel gemacht werden kann und nur nach aussen weniger sichtbar sind bzw. genutzt werden, dann ist das folgende sofort einsichtig.

Beweis (7)

Eine Funktion f 1 , die im zweiten Quadranten zu liegen kommt, hat weniger Tupel als die einzubettende Funktion f 2 . Wir erzeugen nun eine Funktion f 3 , die wir aus f 1 gewinnen, in dem wir weitere Tupel hinzufügen. Dies bedeutet eine waagerechte Verschiebung nach rechts, was wir solange tun, bis wir auf die vertikale Achse N 1 -N 2 treffen. Diese Position ist bestimmt durch (M 1 -M 2 )-(N 1 -N 2 )=0 bzw. (M 1 -M 2 )=(N 1 -N 2 ). Aus Beweis (5) wissen wir, dass eine Funktion, die auf dieser Achse liegt eine Patentverletzung von f 2 darstellt. Diese Funktion hat auch genug Tupel, um f 2 total zu überdecken. Wir betten f 3 nun in f 1 ein. Dies ist kein Kunstgriff, wie wir in der Analyse von Aussage b) gesehen haben, sondern aktuelle Praxis. Dort hatten wir eine Funktion mit nur 2 Tupeln mit Funktionen beschrieben, die über ganz definiert waren. Aufgrund von Beweis (6) muss man alle Funktionen, die durch Rechtsverschieben erzeugt wurden als Ableitung ansehen. Die Funktion f 3 ist somit Ableitung sowohl von f 1 als auch von f 2 . Es kann deshalb von beiden Seiten eine Patentverletzung angemahnt werden. qed

Damit haben wir eine Überdeckung der ersten beiden Quadranten nachgewiesen. Die Patentverletzung haben wir für f 1 in Bezug auf f 2 gezeigt.

Man kann aber auch den Bezugspunkt wechseln und die Patentverletzung für f 2 in Bezug auf f 1 betrachten. Tun wir dies, dann ändert sich die Beschriftung der Achsen, da nun N 2 -N 1 und (M 2 -M 1 )-(N 2 -N 1 ) berechnet werden. Formt man diese Terme um in -(N 1 -N 2 ) und -(M 1 -M 2 )+(N 1 -N 2 ), also -((M 1 -M 2 )-(N 1 -N 2 )), sieht man, dass nur ein Vorzeichenwechsel stattfindet.

Wenn man für einen beliebigen Punkt in diesem Koordinatensystem das Vorzeichen beider Achsen wechselt, so ist das gleichbedeutend mit einer Hintereinanderausführung von Spiegelungen an beiden Achsen bzw. einer Punktspiegelung am Koordinatenursprung. Die obere Halbebene klappt dadurch komplett auf die untere Halbebene um. Es kann so die gesamte Fläche überdeckt werden.

Wir müssen folgern, dass der Anspruchsbereich von Aussage c) vollkommen überzogen ist. Durch die Wandelbarkeit von Funktionen kann fast jede beliebige Patentverletzung erzielt werden. Aussage c) muss in Bezug auf Software als ungültig erklärt werden.

5.4 Analyse von Aussage d)

d) Es gibt noch genug freie Funktionen und Programme, sodass die Menge der patentierten Funktionen nicht stark störend wirkt.

Nach dem Ergebnis von Aussage c) kann Aussage d) nicht mehr aufrechterhalten werden. Softwarepatente stellen eine starke Störung dar und es gibt keine Ausweichmöglichkeiten.

Aussage d) ist somit falsch.

6 Schlussfolgerung

Wir konnten zeigen, dass zwischen zwei Funktionen immer eine Patentverletzungs-Situation herrscht. Wenn man dies auf mehr als zwei Funktionen ausdehnt, kann man sagen, dass hierbei immer die trivialste Funktion gewinnt, da sie stets als in den komplexeren Funktionen enthalten angegeben werden kann, während dies umgekehrt nicht immer gilt. Dies zeigt nun aber ganz konkret wie gefährlich Trivialpatente sind.

Da wir nachgewiesen haben, dass eine Patentverletzung immer vorliegt, ist die Bedrohung durch Softwarepatente nicht mehr hypothetisch. Jeder, der sich Programmierer oder Informatiker nennt, kann hiernach nicht mehr ruhigen Gewissens dem Spiel der Patentlobby zusehen.

Auch, wer glaubt, dass ihm eigene Patente einen Vorteil verschaffen, muss nun einsehen, dass dies im Bereich der Software nicht möglich ist. Praktisch jedes Softwareprojekt ist ständig der Gefahr einer Patentverletzung ausgesetzt. Es ist nur eine Frage von Zeit und Geld, die man investieren möchte, um eine Patentverletzung zu konstruieren.

[ Zurück | Weiter ]



Home | Über uns | Kontakt | Information | Service | Partner | News | Jobs | Impressum

[ nach oben ]