(DATABASE STAEDTEMEMTEST (TYPES) (OBJECTS (OBJECT Orte () (mrel (mtuple ( (Kennzeichen string) (Ort string) (Vorwahl string) (BevT int)))) ( ("AC" "Aachen" "0241" 256) ("AA" "Aalen/Wuerttemberg" "07361" 63) ("WAF" "Ahlen/Westfalen" "02382" 55) ("AW" "Bad Neuenahr/Ahrweil." "02641" 27) ("AIC" "Aichach-Friedberg" "08251" 16) ("BL" "Albstadt" "07431/32/35" 47) ("AC" "Alsdort/Rheinland" "02404" 46) ("ABG" "Altenburg" "03447" 55) ("AK" "Altenkirchen/W'wald" "02681" 7) ("AÖ" "Altoetting" "08671" 11) ("AZ" "Alzey" "06731" 16) ("AM" "Amberg/Oberpfalz" "09621" 44) ("AS" "Krs. Amberg-Sulzbach" "-" 43) ("ANA" "Annaberg-Buchholz" "03733" 27) ("AN" "Ansbach/Mittelfranken" "0981" 38) ("APO" "Apolda" "03644" 27) ("HSK" "Arnsberg" "02931" 78) ("ARN" "Arnstadt" "03628" 26) ("AB" "Aschaffenburg" "06021" 60) ("ASL" "Aschersleben" "03473" 27) ("ASl" "LKR Aue-Schwarzenberg" "03771" 33) ("Ä" "Auerbach (Vogtland)" "03744" 22) ("A" "Augsburg" "0821" 246) ("SU" "St. Augustin" "02241" 55) ("AUR" "Aurich (Ostfriesland)" "04941" 35) ("BAD" "Baden-Baden" "07221" 49) ("BL" "Balingen" "07433" 30) ("BA" "Bamberg" "0951" 71) ("Bl" "Bautzen" "03591" 52) ("BT" "Bayreuth" "0921" 72) ("WAF" "Beckum" "02521" 38) ("BSK" "Beeskow" "03366" 9) ("BEL" "Belzig" "033841" 8) ("BGL" "Berchtesg. Land/Bad Reichenhall" "08652" 16) ("RÜG" "Bergen, Krs. Ruegen" "03838" 16) ("BM" "Bergheim/Erft" "02271" 62) ("GL" "Bergisch Gladbach" "02202" 102) ("UN" "Bergkamen" "02307" 53) ("B" "Berlin" "030" 3410) ("BBG" "Bemburg/Saale" "03471" 35) ("BC" "Biberach/Riss" "07351" 31) ("BI" "Bielefeld" "0521" 325) ("LB" "Bietigheim-Bissingen" "07142" 40) ("BIR" "Birkenfeld/Nahe" "06782" 7) ("BIT" "Bitburg" "06561" 11) ("BTF" "Bitterteld" "03493" 17) ("BOR" "Bocholt (Kr. Borken)" "02871" 71) ("BO" "Bochum" "0234" 382) ("BB" "Boeblingen" "07031" 41) ("BN." "Bonn" "0228" 291) ("BOR" "Borken/Westf." "02861" 34) ("BN" "Bomheim/Rheinl." "02222" 44) ("BOT" "Bottrop" "02041" 122) ("BRA" "Brake (Unterweser)" "04401" 17) ("BRB" "Brandenburg" "03381" 78) ("BS" "Braunschweig" "0531" 248) ("HB" "Bremen, Hansestadt" "0421" 660) ("HB" "Bremerhaven" "0471" 135) ("KA" "Bruchsal" "07251" 37) ("BM" "Bruehl/Rheinland" "02232" 43) ("BRG" "Burg" "03921" 24) ("HF" "Buende/Westfalen" "05223" 44) ("BÜS" "Buesingen am Hochrhein" "07734" 1) ("CW" "Calw/Hirsau" "07051" 23) ("RE" "Castrop-Rauxel" "02305" 79) ("CE" "Celle" "05141" 71) ("CHA" "Cham/Oberpfalz" "09971" 17) ("C" "Chemnitz" "0371" 314) ("CLP" "Cloppenburg" "04471" 22) ("CO" "Coburg" "09561" 45) ("COC" "Cochem" "02671" 6) ("CÖ" "Coesfeld/Westfalen" "02541" 34) ("CB" "Cottbus" "0355" 125) ("CUX" "Cuxhaven" "04721" 57) ("AZE" "Coswig (Kr.Anhalt-Zerbst)" "034903" 9) ("DAH" "Dachau" "08131" 33) ("DAN" "Dannenberg/Elbe" "05861" 9) ("DA" "Darmstadt" "06151" 134) ("DAU" "Daun" "06592" 9) ("DEG" "Deggendorf" "0991" 34) ("DZ" "Delitzsch" "034202" 27) ("DEL" "Delmenhorst" "04221" 71) ("DM" "Demmin" "03998" 14) ("DE" "Dessau" "0340" 104) ("UP" "Detmold" "05231" 73) ("DH" "Diepholz" "05441" 15) ("DLG" "Dillingen/Donau" "09071" 18) ("DGF" "Dingolfing" "08731" 15) ("WES" "Dinslaken" "02064" 71) ("DW" "Dippoldiswalde" "03504" 8) ("DBR" "Doberan, Bad" "038203" 11) ("DL" "Doebeln" "03431" 24) ("DON" "Donauwoerth" "0906" 18) ("NE" "Dormagen" "02133" 63) ("RE" "Dorsten" "02362" 80) ("DO" "Dortmund" "0231" 570) ("DD" "Dresden" "0351" 520) ("CÖ" "Duelmen" "02594" 40) ("DN" "Dueren" "02421" 90) ("DÜW" "Duerkheim, Bad" "06322" 18) ("D" "Duesseldort" "0211" 566) ("DU" "Duisburg" "0203" 528) ("EBE" "Ebersberg/Oberb." "08092" 9) ("BAR" "Eberswalde (Kr. Barnim)" "03334" 55) ("EIC" "Kreis Eichsfeld" "-" 0) ("EI" "Eichstaett/Bayern/Kreis" "08421" 13) ("ESA" "Eisenach" "03691" 50) ("EIS" "Eisenberg" "036691" 11) ("EH" "Eisenhuettenstadt" "03364" 52) ("EIL" "Eisleben" "03475" 22) ("PI" "Elmshorn" "04121" 47) ("EMD" "Emden" "04921" 53) ("EM" "Emmendingen" "07641" 25) ("EMS" "Ems, Bad" "02603" 10) ("EL" "Emsland/Meppen" "05931" 33) ("EN" "Ennepetal" "02333" 34) ("ERB" "Erbach/Odenwald" "06062" 11) ("ED" "Erding" "08122" 30) ("BM" "Erftstadt" "02235" 50) ("EF" "Erfurt" "0361" 218) ("HS" "Erkelenz/Heinsberg" "02431" 43) ("ME" "Erkrath" "0211" 49) ("ER" "Erlangen" "09131" 101) ("ERH" "Krs. Erlangen-Hoechstadt" "-" 0) ("ESW" "Eschwege" "05651" 23) ("AC" "Eschweiler/Rheinland" "02403" 56) ("E" "Essen" "0201" 622) ("ES" "Esslingen a. N." "0711" 88) ("EU" "Euskirchen" "02251" 52) ("SFA" "Fallingbostel/Soltau" "05162" 12) ("WN" "Fellbach" "0711" 40) ("ES" "Filderstadt" "0711" 41) ("FL" "Flensburg" "0461" 85) ("FO" "Forchheim/Oberfr." "09191" 29) ("SPN" "Forst (Kr. Spree-Neisse)" "03562" 25) ("FT" "Frankenthal (Pfalz)" "06233" 48) ("F" "Frankfurt a. M." "069" 615) ("FF" "Frankfurt/Oder" "0335" 85) ("BM" "Frechen" "02234" 46) ("FG" "Freiberg" "03731" 51) ("FR" "Freiburg/Breisgau" "0761" 186) ("FS" "Freising" "08161" 37) ("FDS" "Freudenstadt" "07441" 21) ("FRG" "Freyung" "08551" 7) ("FB" "Friedberg/Hessen" "06031" 24) ("FN" "Friedrichshafen" "07541" 57) ("FRI" "Friesland/Jever" "04461" 14) ("FFB" "Fuerstenfeldbruck" "08141" 32) ("FÜ" "Fuerth/Bayern" "0911" 99) ("FD" "Fulda" "0661" 58) ("H" "Garbsen" "05131" 63) ("GAP" "Garmisch-Partenk." "08821" 28) ("GE" "Gelsenkirchen" "0209" 288) ("G" "Gera" "0365" 133) ("GER" "Germersheim" "07274" 20) ("GI" "Giessen" "0641" 72) ("GF" "Gifhorn" "05371" 35) ("RE" "Gladbeck" "02043" 80) ("GC" "Glauchau" "03763" 28) ("GP" "Goeppingen" "07161" 52) ("GR" "Goerlitz" "03581" 79) ("GO" "Goettingen" "0551" 136) ("GS" "Goslar" "05321" 49) ("GTH" "Gotha" "03621" 49) ("GW" "Greifswald, Hansest." "03834" 69) ("GRZ" "Greiz" "03661" 35) ("NE" "Grevenbroich" "02181" 64) ("GVM" "Grevesmuehlen" "03881" 11) ("GRM" "Grimma" "03437" 19) ("GMN" "Grimmen" "038326" 18) ("BOR" "Gronau (Westfalen)" "02562" 44) ("RG" "Grossenhaln/LKR Riesa-Grossenhain" "03522" 10) ("GG" "Gross-Gerau" "06152" 22) ("GZ" "Guenzburg" "08221" 19) ("GU" "Guestrow" "03843" 39) ("GT" "Guetersloh" "05241" 83) ("GM" "Gummersbach" "02261" 53) ("HA" "Hagen" "02331" 208) ("HBS" "Halberstadt" "03941" 48) ("OK" "Haldensleben (Ohre-Kr.)" "03904" 21) ("HAL" "Halle, Stadt" "0345" 236) ("HH" "Hamburg, Hansest." "040" 1567) ("HM" "Hameln" "05151" 56) ("HAM" "Hamm/Westfalen" "02381" 166) ("HU" "Hanau/Main" "06181" 83) ("H" "Hannover" "0511" 506) ("HAS" "Hassfurt" "09521" 13) ("EN" "Hattingen" "02324" 58) ("HEl" "Heide/Holstein" "0481" 21) ("HD" "Heidelberg" "06221" 138) ("HDH" "Heidenheim/Brenz" "07321" 49) ("HN" "Heilbronn/Neckar" "07131" 112) ("HS" "Heinsberg" "02452" 49) ("HE" "Helmstedt" "05351" 26) ("HP" "Heppenhelm" "06252" 26) ("HF" "Herford" "05221" 66) ("HER" "Herne" "02323" 177) ("HEF" "Hersfeld, Bad" "06621" 31) ("RE" "Herten/Westfalen" "02366" 67) ("EE" "Herzberg (Kr. Elbe-Elster)" "03535" 16) ("AC" "Herzogenrath" "02406" 46) ("HBN" "Hildburghausen" "03685" 12) ("ME" "Hilden" "02103" 56) ("Hf" "Hildesheim" "05121" 101) ("HSK" "Hochsauerlandkreis/Meschede" "0291" 33) ("HX" "Hoexter" "05271" 34) ("MTK" "Hofheim/Taunus" "06192" 37) ("HO" "Hof/Saale" "09281" 52) ("HOL" "Holzminden" "05531" 21) ("HR" "Homberg/Efze" "05681" 15) ("HG" "Homburg, Bad" "06172" 52) ("HOM" "Homburg/Saar (Saarpfalzkreis)" "06841" 46) ("HY" "Hoyerswerda" "03571" 52) ("BM" "Huerth/Rheinland" "02233" 53) ("ST" "Ibbenbueren" "05451" 48) ("IGB" "St. Ingbert" "06894" 40) ("IN" "IngolstadtlDonau" "0841" 98) ("MK" "Iserlohn" "02371" 99) ("IZ" "Itzehoe" "04821" 36) ("J" "Jena" "03641" 108) ("NE" "Kaarst" "02131" 42) ("KL" "Kaiserslautern" "0631" 103) ("UN" "Kamen" "02307" 47) ("KM" "Kamenz" "03578" 17) ("WES" "Kamp-Lintfort" "02842" 40) ("KA" "Karlsruhe" "0721" 267) ("KS" "Kassel" "0561" 190) ("KF" "Kaufbeuren" "08341" 39) ("KEH" "Kelheim" "09441" 16) ("KE" "Kempten (Allgaeu)" "0831" 60) ("BM" "Kerpen/Rheinland" "02237" 62) ("KI" "Kiel" "0431" 238) ("KIB" "Kirchheimbolanden" "06352" 8) ("KG" "Kissingen, Bad" "0971" 22) ("KT" "Kitzingen" "09321" 21) ("KLE" "Kleve/Niederrhein" "02821" 46) ("KO" "Koblenz" "0261" 108) ("K" "Koeln" "0221" 1005) ("KÖT" "Koethen" "03496" 31) ("KN" "Konstanz" "07531" 72) ("KB" "Korbach/Waldeck" "05631" 22) ("KR" "Krefeld" "02151" 235) ("KH" "Kreuznach, Bad" "0671" 44) ("KC" "Kronach" "09261" 18) ("KÜN" "Kuenzelsau" "07940" 15) ("KU" "Kulmbach" "09221" 29) ("KUS" "Kusel" "06381" 6) ("LOK" "Lahn-Dill-Kr./Wetzlar" "06441" 54) ("OG" "Lahr/Schwarzwald" "07821" 34) ("OGF" "Landau an d. Isar" "09951" 13) ("LO" "Landau/Pfalz" "06341" 37) ("LL" "Landsberg/Lech" "08191" 21) ("LA" "Landshut/Bayern" "0871" 59) ("ME" "Langenfeld (Rheinl.)" "02173" 58) ("H" "Langenhagen/Hann." "0511" 49) ("LAU" "Lauf/Pegnitz" "09123" 23) ("LER" "Leer (Ostfriesland)" "0491" 34) ("H" "Lehrte" "05132" 43) ("L" "Leipzig" "0341" 476) ("LE" "Lemgo" "05261" 42) ("BB" "Leonberg" "07152" 44) ("LEV" "Leverkusen" "0214" 160) ("LiF" "Lichtenfels/Bayern" "09571" 21) ("LM" "Limburg/Lahn" "06431" 30) ("Li" "Lindau/Bodensee" "08382" 24) ("EL" "Lingen (Ems)" "0591" 50) ("SO" "Lippstadt" "02941" 67) ("HF" "Loehne" "05732" 41) ("LÖ" "Loerrach" "07621" 42) ("TF" "Luckenwalde (Kr. Teltow-Flaeming)" "03371" 23) ("LB" "Ludwigsburg/Wuertt." "07141" 86) ("LU" "Ludwigshafen/Rhein" "0621" 165) ("LWL" "Ludwigslust" "03874" 13) ("LDS" "Luebben (Kr. Dahme-Spreewald)" "03546" 22) ("HL" "Luebeck, Hansestadt" "0451" 211) ("DAN" "Luechow (-Dannenb.)" "05841" 11) ("MK" "Luedensch./Maerk. Kr." "02351" 81) ("LG" "Lueneburg" "04131" 165) ("UN" "Luenen" "02306" 92) ("MD" "Magdeburg" "0391" 291) ("MSP" "Main-Spess./Karlst." "09353" 15) ("MZ" "Mainz" "06131" 176) ("MA" "Mannheim" "0621" 314) ("MR" "Marburg/Lahn" "06421" 70) ("MEK" "Marienberg/LKR Mittlerer Erzgebirgskreis" "03735" 13) ("RE" "Marl/Westfalen" "02365" 94) ("MYK" "Mayen-Koblenz-Kreis" "02651" 19) ("NE" "Meerbusch" "02132/59/50" 55) ("SM" "Meiningen" "03693" 22) ("MEI" "Meissen" "03521" 30) ("OS" "Melle" "05422" 45) ("MM" "Memmingen" "08331" 39) ("MK" "Menden/Maerk. Kreis" "02373" 59) ("EL" "Meppen/Kr. Emsland" "05931" 32) ("MO" "Merseburg, Kreis Merseburg-Ouerfurt" "03461" 41) ("MZG" "Merzig (-Wadern)" "06861" 30) ("HSK" "Meschede" "0291" 33) ("ME" "Mettmann" "02104" 40) ("MB" "Miesbach" "08025" 11) ("MIL" "Miltenberg" "09371" 10) ("MN" "Mindelheim" "08261" 14) ("MI" "Minden/Westfalen" "0571" 81) ("MW" "Mittweida" "03727" 16) ("MG" "Moenchengladbach" "02161" 254) ("WES" "Moers" "02841" 104) ("ME" "Monheim/Rheinland" "02173" 43) ("MOS" "Mosbach/Baden" "06261" 25) ("MÜ" "Muehldorf/lnn" "08631" 15) ("MHL" "Muehlhausen" "03601" 43) ("MH" "Muelheim/Ruhr" "0208" 175) ("M" "Muenchen" "089" 1270) ("MS" "Muenster/Westfalen" "0251" 272) ("MÜR" "Kreis Mueritz" "-" 0) ("BLK" "Naumburg/Saale (Kr. Burgenlandkreis)" "03445" 31) ("VIE" "Nettetal" "02153" 41) ("NB" "Neubrandenburg" "0395" 83) ("ND" "Neuburg/Donau" "08431" 28) ("NM" "NeumarktiOberptalz" "09181" 35) ("NMS" "Neumuenster" "04321" 80) ("NK" "Neunkirchen/Saar" "06821" 15) ("OPR" "Neuruppin (Kr. Ostprignitz-Ruppin)" "03391" 33) ("NE" "Neuss" "02131" 150) ("NEA" "Neustadt/Aisch" "09161" 11) ("H" "Neustadt am Rbge." "05032" 40) ("NEW" "Neustadt/Waldnaab" "09602" 4) ("NW" "Neustadt/Weinstrasse" "06321" 52) ("NES" "Neustadt, Bad/Saale" "09771" 16) ("NZ" "Neustrelitz" "03981" 17) ("NU" "Neu-Ulm" "0731" 46) ("NR" "Neuwied" "02631" 62) ("NI" "Nienburg/Weser" "05021" 33) ("SE" "Norderstedt" "040" 71) ("NF" "Nordfriesl./Husum" "04841" 22) ("NDH" "Nordhausen" "03631" 49) ("NOH" "Nordhorn" "05921" 52) ("NOM" "Northeim/Hannover" "05551" 31) ("N" "Nuernberg" "0911" 494) ("OA" "Oberallgaeu/Sonthof." "08321" 21) ("OB" "Oberhausen/Rheinl." "0208" 224) ("HG" "Oberursel/Taunus" "06171" 41) ("OVL" "Obervogtland, Kreis" "-" 0) ("MI" "Oeynhausen, Bad" "05731" 49) ("OF" "Offenbach/Main" "069" 115) ("OG" "Offenburg" "0781" 53) ("OL" "Oldenburg (Oldenbg.)" "0441" 152) ("OD" "Oldesloe, Bad" "04531" 23) ("Ö" "Olpe/Biggesee" "02761" 25) ("OHV" "Oranienburg (Kr. Oberhavel)" "03301" 30) ("OC" "Oschersleben" "03949" 16) ("OS" "Osnabrueck" "0541" 156) ("OAL" "Ostallgaeu/Marktob'd." "08342" 18) ("GHZ" "Osterholz-Scharmb." "04791" 31) ("OHA" "Osterode/Harz" "05522" 26) ("OH" "Ostholstein/Eutin" "04521" 17) ("OVP" "Ostvorpommern" "-" 0) ("PB" "Paderborn" "05251" 134) ("PCH" "Parchim" "03871" 24) ("PW" "Pasewalk" "03973" 13) ("PA" "Passau" "0851" 50) ("PE" "Reine" "05171" 46) ("PR" "Perleberg (Kr. Prignitz)" "03876" 15) ("PAF" "Pfaffenhofen/Ilm" "08441" 22) ("PAN" "Pfarrkirchen (Kr. Rottal-Inn)" "08561" 11) ("PF" "Pforzheim" "07231" 111) ("PI" "Pinneberg" "04101" 38) ("PS" "Pirmasens" "06331" 51) ("PIR" "Pirna" "03501" 42) ("PL" "Plauen" "03741" 71) ("PLÖ" "Ploen" "04522" 11) ("P" "Potsdam" "0331" 142) ("PZ" "Prenzlau" "03984" 24) ("BM" "Pulheim" "02238" 52) ("OLB" "Quedlinburg" "03946" 11) ("RA" "Rastatt" "07222" 42) ("HVL" "Rathenow (Kr. Havelland)" "03385" 28) ("ME" "Ratingen" "02102" 90) ("RZ" "Ratzeburg" "04541" 13) ("RV" "Ravensburg" "0751" 46) ("RE" "Recklinghausen" "02361" 126) ("REG" "Regen" "09921" 12) ("R" "Regensburg" "0941" 122) ("RC" "Reichenbach" "03765" 24) ("RS" "Remscheid" "02191" 124) ("RD" "Rendsburg" "04331" 32) ("RT" "Reutlingen" "07121" 104) ("GT" "Rheda-Wiedenbrueck" "05242" 44) ("ST" "Rheine/Westf." "05971" 74) ("RUD" "Rheingau-Taunus-Kreis" "-" 0) ("RG" "Riesa" "03525" 48) ("OF" "Rodgau" "06106" 43) ("RO" "Rosenheim/Oberb." "08031" 57) ("ROS" "Rostock" "0381" 253) ("ROW" "Rotenburg/Wuemme" "04261" 20) ("RH" "Roth/Mittelfr." "09171" 25) ("RW" "Rottweil" "0741" 24) ("RÜD" "Ruedesheim/Rhein" "06722" 10) ("RÜG" "Ruegen, Kreis" "-" 0) ("GG" "Ruesselsheim" "06142" 59) ("SLF" "Saalfeld" "03671" 30) ("SOK" "Saale-Orla-Kreis" "-" 0) ("SK" "Saalkreis" "-" 0) ("SB" "Saarbruecken" "0681" 205) ("SLS" "Saarlouis" "06831" 38) ("SZ" "Salzgitter" "05341" 118) ("LlP" "Salzuflen, Bad" "05222" 54) ("SLZ" "Salzungen, Bad" "03695" 18) ("SAW" "Salzwedel" "03901" 24) ("SGH" "Sangerhausen" "03464" 34) ("SHG" "Schaumburg/Stadth." "05721" 24) ("SL" "Schleswig" "04621" 27) ("SM" "Schmalkalden" "03683" 18) ("SBK" "Schoenebeck" "03928" 37) ("SC" "Schwabach/Mittelfr." "09122" 38) ("AA" "Schwaebisch Gmuend" "07171" 62) ("SHA" "Schwaebisch Hall" "0791" 35) ("SAD" "Schwandorf/Bayern" "09431" 29) ("UM" "Schwedt/Oder" "03332" 44) ("SW" "Schweinfurt" "09721" 55) ("SN" "Schwerin" "0385" 130) ("UN" "Schwerte" "02304" 51) ("SE" "Segeberg, Bad" "04551" 16) ("OSL" "Senftenberg (Kr. Oberspreewald-Lausitz)" "03573" 26) ("SU" "Siegburg" "02241" 37) ("SI" "Siegen/Westf." "0271" 110) ("SIG" "Sigmaringen" "07571" 17) ("SIM" "Simmern/Hunsrueck" "06761" 8) ("BB" "Sindelfingen" "07031" 61) ("KN" "Singen (Hohentwiel)" "07731" 43) ("SÖM" "Soemmerda" "03634" 23) ("SO" "Soest/Westfalen" "02921" 51) ("SG" "Solingen" "0212" 166) ("KYF" "Sonderhausen (Kyffhaeuserkreis)" "-" 0) ("SON" "Sonneberg" "03675" 28) ("SP" "Speyer" "06232" 49) ("STD" "Stade" "04141" 45) ("STA" "Starnberg" "08151" 21) ("ST" "Steinfurt" "02551" 33) ("SDL" "Stendal" "03931" 42) ("AC" "Stolberg (Rheinland)" "02402" 58) ("STL" "Stollberg" "037296" 13) ("HST" "Stralsund, Hansest." "03831" 75) ("SR" "Straubing" "09421" 43) ("MOL" "Strausberg" "03341" 29) ("S" "Stuttgart" "0711" 583) ("SÜW" "Suedliche Weinstrasse" "-" 0) ("SHL" "Suhl" "03681" 56) ("TBB" "Tauberbischofsheim" "09341" 13) ("TT" "Tettnang" "07542" 17) ("TIR" "Tirschenreuth" "09631" 10) ("TÖL" "Toelz, Bad" "08041" 17) ("TO" "Torgau/LKR Torgau-Oschatz" "03421" 20) ("TS" "Traunstein/O'bayern" "0861" 18) ("TR" "Trier" "0651" 105) ("SU" "Troisdorf" "02241" 72) ("TÜ" "Tuebingen" "07071" 86) ("TUT" "Tuttlingen" "07461" 35) ("ÜR" "Uecker-Randow-Kreis" "-" 0) ("Ü" "Uelzen" "0581" 36) ("UL" "Ulm/Donau" "0731" 110) ("UN" "Unna" "02303" 65) ("UH" "Unstrat-Hainich-Kreis" "-" 0) ("FN" "ueberlingen" "07551" 20) ("VEC" "Vechta" "04441" 27) ("ME" "Velbert" "02051" 89) ("VER" "Verden (Aller)" "04231" 27) ("VIE" "Viersen" "02162" 77) ("VS" "Villingen-Schwennigen" "07721/20" 81) ("VK" "Voelklingen" "06898" 43) ("VB" "Vogelsb'kr./Lauterb." "-" 0) ("WN" "Waiblingen/Rems" "07151" 51) ("WT" "Waldsh.-Tiengen" "07751/41" 23) ("WAF" "Warendorf" "02581" 37) ("WEN" "Weiden/Oberpfalz" "0961" 44) ("WM" "Weilheim/Oberbayern" "0881" 19) ("WE" "Weimar" "03643" 59) ("HO" "Weinheim" "06201" 43) ("WUG" "Weissenburg/Bayern" "09141" 19) ("WSF" "Weissenfels" "03443" 32) ("WNO" "St. Wendel" "06851" 27) ("WOA" "Werdau" "03761" 23) ("WR" "Wernigerode" "03943" 35) ("WES" "Wesel" "0281" 62) ("WST" "Westerstede" "04488" 21) ("WW" "Westerw./Montabaur" "02602" 13) ("LOK" "Wetzlar" "06441" 54) ("WI" "Wiesbaden" "0611" 270) ("WHV" "Wilhelmshaven" "04421" 89) ("VIE" "Willich" "02154" 49) ("WL" "Winsen (Luhe)" "04171" 31) ("HWI" "Wismar, Hansestadt" "03841" 55) ("EN" "Witten" "02302" 107) ("WB" "Wittenberg, Kreis" "03491" 54) ("WIL" "Wittlich" "06571" 18) ("WTM" "Wittmund" "04462" 21) ("BTF" "Wolfen" "03494" 35) ("WF" "Wolfenbuettel" "05331" 54) ("WOB" "Wolfsburg" "05361" 121) ("WO" "Worms" "06241" 82) ("WÜ" "Wuerzburg" "0931" 129) ("WUN" "Wunsiedel" "09232" 11) ("H" "Wunstorf" "05031" 40) ("W" "Wuppertal" "0202" 388) ("ZR" "Zeulenroda" "036628" 15) ("ZI" "Zittau" "03583" 32) ("ZW" "Zweibruecken" "06332" 36) ("Z" "Zwickau" "0375" 105))) (OBJECT Staedte () (mrel (mtuple ( (SName string) (Bev int) (PLZ int) (Vorwahl string) (Kennzeichen string)))) ( ("Aachen" 239000 5100 "0241" "AC") ("Berlin" 1859000 1000 "030" "B") ("Bielefeld" 300000 4800 "0521" "BI") ("Bochum" 382000 4630 "0234" "BO") ("Bonn" 291000 5300 "0228" "BN") ("Braunschweig" 248000 3300 "0531" "BS") ("Bremen" 526000 2800 "0421" "HB") ("Bremerhaven" 134000 2850 "0471" "HB") ("Darmstadt" 134000 6100 "06151" "DA") ("Dortmund" 572000 4600 "0231" "DO") ("Duesseldorf" 562000 4000 "0211" "D") ("Duisburg" 518000 4100 "0203" "DU") ("Erlangen" 100000 8520 "09131" "ER") ("Essen" 620000 4300 "0201" "E") ("Frankfurt(Main)" 595000 6000 "069" "F") ("Freiburg" 184000 7800 "0761" "FR") ("Gelsenkirchen" 285000 4650 "0209" "GE") ("Goettingen" 133000 3400 "0551" "GOE") ("Hagen" 206000 5800 "02331" "HA") ("Hamburg" 1580000 2000 "040" "HH") ("Hamm" 166000 4700 "02381" "HAM") ("Hannover" 508000 3000 "0511" "H") ("Heidelberg" 135000 6900 "06221" "HD") ("Heilbronn" 111000 7100 "07131" "HN") ("Hildesheim" 101000 3200 "05121" "HI") ("Karlsruhe" 268000 7500 "0721" "KA") ("Kassel" 184000 3500 "0561" "KS") ("Kiel" 246000 2300 "0431" "KI") ("Koblenz" 111000 5400 "0261" "KO") ("Koeln" 916000 5000 "0221" "K") ("Krefeld" 217000 4150 "02151" "KR") ("Leverkusen" 155000 5090 "0214" "LEV") ("Ludwigshafen" 154000 6700 "0621" "LU") ("Luebeck" 210000 2400 "0451" "HL") ("Mainz" 189000 6500 "06131" "MZ") ("Mannheim" 295000 6800 "0621" "MA") ("Moenchengladbach" 254000 4050 "02161" "MG") ("Muehlheim(Ruhr)" 172000 4330 "0208" "MH") ("Muenchen" 1267000 8000 "089" "M") ("Muenster" 270000 4400 "0251" "MS") ("Nuernberg" 465000 8500 "0911" "N") ("Offenbach(Main)" 107000 6050 "069" "OF") ("Oldenburg" 138000 2900 "0441" "OL") ("Osnabrueck" 153000 4500 "0541" "OS") ("Paderborn" 110000 4790 "05251" "PB") ("Pforzheim" 104000 7530 "07231" "PF") ("Recklinghausen" 118000 4350 "02361" "RE") ("Regensburg" 124000 8400 "0941" "R") ("Remscheid" 121000 5630 "02191" "RS") ("Saarbruecken" 187000 6600 "0681" "SB") ("Salzgitter" 106000 3320 "05341" "SZ") ("Siegen" 107000 5900 "0271" "SI") ("Solingen" 158000 5650 "0212" "SG") ("Stuttgart" 562000 7000 "0711" "S") ("Wiesbaden" 267000 6200 "06121" "WI") ("Wolfsburg" 122000 3180 "05361" "WOB") ("Wuerzburg" 128000 8700 "0931" "WUE") ("Wuppertal" 377000 5600 "0202" "W"))) (OBJECT Staedte2 (StaedteRel) (rel (tuple ( (SName string) (Bev int) (PLZ int) (Vorwahl string) (Kennzeichen string)))) ( ("Aachen" 239000 5100 "0241" "AC") ("Berlin" 1859000 1000 "030" "B") ("Bielefeld" 300000 4800 "0521" "BI") ("Bochum" 382000 4630 "0234" "BO") ("Bonn" 291000 5300 "0228" "BN") ("Braunschweig" 248000 3300 "0531" "BS") ("Bremen" 526000 2800 "0421" "HB") ("Bremerhaven" 134000 2850 "0471" "HB") ("Darmstadt" 134000 6100 "06151" "DA") ("Dortmund" 572000 4600 "0231" "DO") ("Duesseldorf" 562000 4000 "0211" "D") ("Duisburg" 518000 4100 "0203" "DU") ("Erlangen" 100000 8520 "09131" "ER") ("Essen" 620000 4300 "0201" "E") ("Frankfurt(Main)" 595000 6000 "069" "F") ("Freiburg" 184000 7800 "0761" "FR") ("Gelsenkirchen" 285000 4650 "0209" "GE") ("Goettingen" 133000 3400 "0551" "GOE") ("Hagen" 206000 5800 "02331" "HA") ("Hamburg" 1580000 2000 "040" "HH") ("Hamm" 166000 4700 "02381" "HAM") ("Hannover" 508000 3000 "0511" "H") ("Heidelberg" 135000 6900 "06221" "HD") ("Heilbronn" 111000 7100 "07131" "HN") ("Hildesheim" 101000 3200 "05121" "HI") ("Karlsruhe" 268000 7500 "0721" "KA") ("Kassel" 184000 3500 "0561" "KS") ("Kiel" 246000 2300 "0431" "KI") ("Koblenz" 111000 5400 "0261" "KO") ("Koeln" 916000 5000 "0221" "K") ("Krefeld" 217000 4150 "02151" "KR") ("Leverkusen" 155000 5090 "0214" "LEV") ("Ludwigshafen" 154000 6700 "0621" "LU") ("Luebeck" 210000 2400 "0451" "HL") ("Mainz" 189000 6500 "06131" "MZ") ("Mannheim" 295000 6800 "0621" "MA") ("Moenchengladbach" 254000 4050 "02161" "MG") ("Muehlheim(Ruhr)" 172000 4330 "0208" "MH") ("Muenchen" 1267000 8000 "089" "M") ("Muenster" 270000 4400 "0251" "MS") ("Nuernberg" 465000 8500 "0911" "N") ("Offenbach(Main)" 107000 6050 "069" "OF") ("Oldenburg" 138000 2900 "0441" "OL") ("Osnabrueck" 153000 4500 "0541" "OS") ("Paderborn" 110000 4790 "05251" "PB") ("Pforzheim" 104000 7530 "07231" "PF") ("Recklinghausen" 118000 4350 "02361" "RE") ("Regensburg" 124000 8400 "0941" "R") ("Remscheid" 121000 5630 "02191" "RS") ("Saarbruecken" 187000 6600 "0681" "SB") ("Salzgitter" 106000 3320 "05341" "SZ") ("Siegen" 107000 5900 "0271" "SI") ("Solingen" 158000 5650 "0212" "SG") ("Stuttgart" 562000 7000 "0711" "S") ("Wiesbaden" 267000 6200 "06121" "WI") ("Wolfsburg" 122000 3180 "05361" "WOB") ("Wuerzburg" 128000 8700 "0931" "WUE") ("Wuppertal" 377000 5600 "0202" "W") ("Aachen" 239000 5100 "0241" "AC") ("Berlin" 1859000 1000 "030" "B") ("Bielefeld" 300000 4800 "0521" "BI") ("Bochum" 382000 4630 "0234" "BO") ("Bonn" 291000 5300 "0228" "BN") ("Braunschweig" 248000 3300 "0531" "BS") ("Bremen" 526000 2800 "0421" "HB") ("Bremerhaven" 134000 2850 "0471" "HB") ("Darmstadt" 134000 6100 "06151" "DA") ("Dortmund" 572000 4600 "0231" "DO") ("Duesseldorf" 562000 4000 "0211" "D") ("Duisburg" 518000 4100 "0203" "DU") ("Erlangen" 100000 8520 "09131" "ER") ("Essen" 620000 4300 "0201" "E") ("Frankfurt(Main)" 595000 6000 "069" "F") ("Freiburg" 184000 7800 "0761" "FR") ("Gelsenkirchen" 285000 4650 "0209" "GE") ("Goettingen" 133000 3400 "0551" "GOE") ("Hagen" 206000 5800 "02331" "HA") ("Hamburg" 1580000 2000 "040" "HH") ("Hamm" 166000 4700 "02381" "HAM") ("Hannover" 508000 3000 "0511" "H") ("Heidelberg" 135000 6900 "06221" "HD") ("Heilbronn" 111000 7100 "07131" "HN") ("Hildesheim" 101000 3200 "05121" "HI") ("Karlsruhe" 268000 7500 "0721" "KA") ("Kassel" 184000 3500 "0561" "KS") ("Kiel" 246000 2300 "0431" "KI") ("Koblenz" 111000 5400 "0261" "KO") ("Koeln" 916000 5000 "0221" "K") ("Krefeld" 217000 4150 "02151" "KR") ("Leverkusen" 155000 5090 "0214" "LEV") ("Ludwigshafen" 154000 6700 "0621" "LU") ("Luebeck" 210000 2400 "0451" "HL") ("Mainz" 189000 6500 "06131" "MZ") ("Mannheim" 295000 6800 "0621" "MA") ("Moenchengladbach" 254000 4050 "02161" "MG") ("Muehlheim(Ruhr)" 172000 4330 "0208" "MH") ("Muenchen" 1267000 8000 "089" "M") ("Muenster" 270000 4400 "0251" "MS") ("Nuernberg" 465000 8500 "0911" "N") ("Offenbach(Main)" 107000 6050 "069" "OF") ("Oldenburg" 138000 2900 "0441" "OL") ("Osnabrueck" 153000 4500 "0541" "OS") ("Paderborn" 110000 4790 "05251" "PB") ("Pforzheim" 104000 7530 "07231" "PF") ("Recklinghausen" 118000 4350 "02361" "RE") ("Regensburg" 124000 8400 "0941" "R") ("Remscheid" 121000 5630 "02191" "RS") ("Saarbruecken" 187000 6600 "0681" "SB") ("Salzgitter" 106000 3320 "05341" "SZ") ("Siegen" 107000 5900 "0271" "SI") ("Solingen" 158000 5650 "0212" "SG") ("Stuttgart" 562000 7000 "0711" "S") ("Wiesbaden" 267000 6200 "06121" "WI") ("Wolfsburg" 122000 3180 "05361" "WOB") ("Wuerzburg" 128000 8700 "0931" "WUE") ("Wuppertal" 377000 5600 "0202" "W"))) (OBJECT ten () (mrel (mtuple ( (no int)))) ( (1) (2) (3) (4) (5) (6) (7) (8) (9) (10))) (OBJECT thousand () (mrel (mtuple ( (no int)))) ( (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) (17) (18) (19) (20) (21) (22) (23) (24) (25) (26) (27) (28) (29) (30) (31) (32) (33) (34) (35) (36) (37) (38) (39) (40) (41) (42) (43) (44) (45) (46) (47) (48) (49) (50) (51) (52) (53) (54) (55) (56) (57) (58) (59) (60) (61) (62) (63) (64) (65) (66) (67) (68) (69) (70) (71) (72) (73) (74) (75) (76) (77) (78) (79) (80) (81) (82) (83) (84) (85) (86) (87) (88) (89) (90) (91) (92) (93) (94) (95) (96) (97) (98) (99) (100) (101) (102) (103) (104) (105) (106) (107) (108) (109) (110) (111) (112) (113) (114) (115) (116) (117) (118) (119) (120) (121) (122) (123) (124) (125) (126) (127) (128) (129) (130) (131) (132) (133) (134) (135) (136) (137) (138) (139) (140) (141) (142) (143) (144) (145) (146) (147) (148) (149) (150) (151) (152) (153) (154) (155) (156) (157) (158) (159) (160) (161) (162) (163) (164) (165) (166) (167) (168) (169) (170) (171) (172) (173) (174) (175) (176) (177) (178) (179) (180) (181) (182) (183) (184) (185) (186) (187) (188) (189) (190) (191) (192) (193) (194) (195) (196) (197) (198) (199) (200) (201) (202) (203) (204) (205) (206) (207) (208) (209) (210) (211) (212) (213) (214) (215) (216) (217) (218) (219) (220) (221) (222) (223) (224) (225) (226) (227) (228) (229) (230) (231) (232) (233) (234) (235) (236) (237) (238) (239) (240) (241) (242) (243) (244) (245) (246) (247) (248) (249) (250) (251) (252) (253) (254) (255) (256) (257) (258) (259) (260) (261) (262) (263) (264) (265) (266) (267) (268) (269) (270) (271) (272) (273) (274) (275) (276) (277) (278) (279) (280) (281) (282) (283) (284) (285) (286) (287) (288) (289) (290) (291) (292) (293) (294) (295) (296) (297) (298) (299) (300) (301) (302) (303) (304) (305) (306) (307) (308) (309) (310) (311) (312) (313) (314) (315) (316) (317) (318) (319) (320) (321) (322) (323) (324) (325) (326) (327) (328) (329) (330) (331) (332) (333) (334) (335) (336) (337) (338) (339) (340) (341) (342) (343) (344) (345) (346) (347) (348) (349) (350) (351) (352) (353) (354) (355) (356) (357) (358) (359) (360) (361) (362) (363) (364) (365) (366) (367) (368) (369) (370) (371) (372) (373) (374) (375) (376) (377) (378) (379) (380) (381) (382) (383) (384) (385) (386) (387) (388) (389) (390) (391) (392) (393) (394) (395) (396) (397) (398) (399) (400) (401) (402) (403) (404) (405) (406) (407) (408) (409) (410) (411) (412) (413) (414) (415) (416) (417) (418) (419) (420) (421) (422) (423) (424) (425) (426) (427) (428) (429) (430) (431) (432) (433) (434) (435) (436) (437) (438) (439) (440) (441) (442) (443) (444) (445) (446) (447) (448) (449) (450) (451) (452) (453) (454) (455) (456) (457) (458) (459) (460) (461) (462) (463) (464) (465) (466) (467) (468) (469) (470) (471) (472) (473) (474) (475) (476) (477) (478) (479) (480) (481) (482) (483) (484) (485) (486) (487) (488) (489) (490) (491) (492) (493) (494) (495) (496) (497) (498) (499) (500) (501) (502) (503) (504) (505) (506) (507) (508) (509) (510) (511) (512) (513) (514) (515) (516) (517) (518) (519) (520) (521) (522) (523) (524) (525) (526) (527) (528) (529) (530) (531) (532) (533) (534) (535) (536) (537) (538) (539) (540) (541) (542) (543) (544) (545) (546) (547) (548) (549) (550) (551) (552) (553) (554) (555) (556) (557) (558) (559) (560) (561) (562) (563) (564) (565) (566) (567) (568) (569) (570) (571) (572) (573) (574) (575) (576) (577) (578) (579) (580) (581) (582) (583) (584) (585) (586) (587) (588) (589) (590) (591) (592) (593) (594) (595) (596) (597) (598) (599) (600) (601) (602) (603) (604) (605) (606) (607) (608) (609) (610) (611) (612) (613) (614) (615) (616) (617) (618) (619) (620) (621) (622) (623) (624) (625) (626) (627) (628) (629) (630) (631) (632) (633) (634) (635) (636) (637) (638) (639) (640) (641) (642) (643) (644) (645) (646) (647) (648) (649) (650) (651) (652) (653) (654) (655) (656) (657) (658) (659) (660) (661) (662) (663) (664) (665) (666) (667) (668) (669) (670) (671) (672) (673) (674) (675) (676) (677) (678) (679) (680) (681) (682) (683) (684) (685) (686) (687) (688) (689) (690) (691) (692) (693) (694) (695) (696) (697) (698) (699) (700) (701) (702) (703) (704) (705) (706) (707) (708) (709) (710) (711) (712) (713) (714) (715) (716) (717) (718) (719) (720) (721) (722) (723) (724) (725) (726) (727) (728) (729) (730) (731) (732) (733) (734) (735) (736) (737) (738) (739) (740) (741) (742) (743) (744) (745) (746) (747) (748) (749) (750) (751) (752) (753) (754) (755) (756) (757) (758) (759) (760) (761) (762) (763) (764) (765) (766) (767) (768) (769) (770) (771) (772) (773) (774) (775) (776) (777) (778) (779) (780) (781) (782) (783) (784) (785) (786) (787) (788) (789) (790) (791) (792) (793) (794) (795) (796) (797) (798) (799) (800) (801) (802) (803) (804) (805) (806) (807) (808) (809) (810) (811) (812) (813) (814) (815) (816) (817) (818) (819) (820) (821) (822) (823) (824) (825) (826) (827) (828) (829) (830) (831) (832) (833) (834) (835) (836) (837) (838) (839) (840) (841) (842) (843) (844) (845) (846) (847) (848) (849) (850) (851) (852) (853) (854) (855) (856) (857) (858) (859) (860) (861) (862) (863) (864) (865) (866) (867) (868) (869) (870) (871) (872) (873) (874) (875) (876) (877) (878) (879) (880) (881) (882) (883) (884) (885) (886) (887) (888) (889) (890) (891) (892) (893) (894) (895) (896) (897) (898) (899) (900) (901) (902) (903) (904) (905) (906) (907) (908) (909) (910) (911) (912) (913) (914) (915) (916) (917) (918) (919) (920) (921) (922) (923) (924) (925) (926) (927) (928) (929) (930) (931) (932) (933) (934) (935) (936) (937) (938) (939) (940) (941) (942) (943) (944) (945) (946) (947) (948) (949) (950) (951) (952) (953) (954) (955) (956) (957) (958) (959) (960) (961) (962) (963) (964) (965) (966) (967) (968) (969) (970) (971) (972) (973) (974) (975) (976) (977) (978) (979) (980) (981) (982) (983) (984) (985) (986) (987) (988) (989) (990) (991) (992) (993) (994) (995) (996) (997) (998) (999) (1000)))))