var def_fontface = "Arial, Helvetica, sans-serif";
var def_fontsize = 2;

var g_sprache = "de";

function thema_anzeigen(URL)
{
   top.location = URL;
}

function gross_klein_ignorieren(a, b)
/*
Sortierfunktion fuer eine alphabetische Sortierung, die Gross-Kleinschreibung ignoriert;
ausserdem werden ä, ö, ü wie ae, oe, ue behandelt - allerdings nicht bei MSIE:
*/
{
   if (navigator.appName != "Microsoft Internet Explorer")
   {
      a = a.toLowerCase().replace("ä", "ae");
      a = a.toLowerCase().replace("ö", "oe");
      a = a.toLowerCase().replace("ü", "ue");

      b = b.toLowerCase().replace("ä", "ae");
      b = b.toLowerCase().replace("ö", "oe");
      b = b.toLowerCase().replace("ü", "ue");
   }

   if (a.toLowerCase() <  b.toLowerCase()) return -1;
   if (a.toLowerCase() == b.toLowerCase()) return 0;
   if (a.toLowerCase() >  b.toLowerCase()) return 1;
}

function stichwortsuche_schreiben(sprache)
{
   g_sprache = sprache;


   if (sprache == "de")      var erste_option = "&lt; Thema w&auml;hlen! &gt;";
   else if (sprache == "en") var erste_option = "&lt; Select topic! &gt;";

/*
   stichwortliste[n][0] ist der deutsche Text
   stichwortliste[n][1] ist der englische Text
   stichwortliste[n][2] ist der Pfadname
   stichwortliste[n][3] ist der Ankername, kann gegebenenfalls weggelassen werden.
   Achtung, Ankernamen muessen genau so wie in der html-Seite geschrieben werden;
   also bitte Gross- und Kleinschreibung beachten.
   
   Die Elemente koennen in beliebiger Reihenfolge eingegeben werden, da sie noch alphabetisch geordnet werden.
*/

   var stichwortliste = new Array();
   stichwortliste[stichwortliste.length] = new Array("Airlines", "Airlines", "04_infos_service/fluggesellschaften");
   /*stichwortliste[stichwortliste.length] = new Array("Auto", "Car", "05_auto_bahn");*/
   /*stichwortliste[stichwortliste.length] = new Array("Autobahnkarte", "Road Map", "05_auto_bahn/strassenkarten");*/
   /*stichwortliste[stichwortliste.length] = new Array("Autopanne", "Car breakdowns", "05_auto_bahn/auto", "starthilfe");*/
   /*stichwortliste[stichwortliste.length] = new Array("Routenempfehlung", "Route Planner", "05_auto_bahn/routenempfehlung");*/
   /*stichwortliste[stichwortliste.length] = new Array("Straßenkarten", "Road Maps", "05_auto_bahn/strassenkarten");*/
   stichwortliste[stichwortliste.length] = new Array("Autovermietung", "Car Rental", "05_auto_bahn", "Mietwagen");
   stichwortliste[stichwortliste.length] = new Array("Babywickelraum", "Baby-Care", "04_infos_service", "babywickelraum");
   /*stichwortliste[stichwortliste.length] = new Array("B&auml;ckerei", "Bakery", "05_shopping", "Suesses_Feinkost");*/
   /*stichwortliste[stichwortliste.length] = new Array("Bank", "Banking", "04_infos_service", "bank");*/
   /* stichwortliste[stichwortliste.length] = new Array("Garderobenservice", "Coat Check", "04_infos_service", "garderobenservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Behinderte", "Disabled persons", "04_infos_service/behinderte");*/
   
    stichwortliste[stichwortliste.length] = new Array("Fluggastbetreuung", "Passenger Care", "04_infos_service/behinderte");
    stichwortliste[stichwortliste.length] = new Array("Behinderten-Infos", "Disabeld Persons", "04_infos_service/behinderte");
   /*stichwortliste[stichwortliste.length] = new Array("Behindertenparkplätze", "Disabled Parking", "04_infos_service/behinderte", "parken");*/
   /*stichwortliste[stichwortliste.length] = new Array("Besucherservice", "Visitors Services", "04_infos_service/besucherservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Besucherterrasse", "Observation Deck", "04_infos_service", "Zuschauerterrasse");*/
  /* stichwortliste[stichwortliste.length] = new Array("Biergarten", "Beer gardens", "04_infos_service/essen_trinken");*/
  /*stichwortliste[stichwortliste.length] = new Array("Gedenkraum", "Memorial Room", "04_infos_service", "gedenkraum");*/
  /* stichwortliste[stichwortliste.length] = new Array("Blumen", "Flowers", "05_shopping", "Blumen");*/
   stichwortliste[stichwortliste.length] = new Array("Busverbindungen", "Bus Connections", "05_auto_bahn", "bus");
   /*stichwortliste[stichwortliste.length] = new Array("Sicherheitsparken", "Secure Parking", "05_auto_bahn/parkservice", "P2");*/
   /*stichwortliste[stichwortliste.length] = new Array("Parkservices", "Parking Services", "05_auto_bahn/parkservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Valet-Park-Service", "Valet Parking", "05_auto_bahn/parkservice", "Valet");*/
   /*stichwortliste[stichwortliste.length] = new Array("Cafeteria", "Cafeteria", "04_infos_service/essen_trinken");*/
   /*stichwortliste[stichwortliste.length] = new Array("CDs", "CD's", "05_shopping", "Foto_Elektro");*/
   stichwortliste[stichwortliste.length] = new Array("Duty Free", "Duty Free", "04_infos_service", "dutyfree");
   /*stichwortliste[stichwortliste.length] = new Array("Elektroger&auml;te", "Electronic equipment", "05_shopping", "Foto_Elektro");*/
   /*stichwortliste[stichwortliste.length] = new Array("Erste Hilfe", "First Aid", "04_infos_service", "erste_hilfe");*/
   stichwortliste[stichwortliste.length] = new Array("Fahrplanausk&uuml;nfte", "Train Travel", "05_auto_bahn", "zug_sbahn");
   stichwortliste[stichwortliste.length] = new Array("Fax", "Fax machines", "04_infos_service", "telefon");
   stichwortliste[stichwortliste.length] = new Array("Fluggesellschaften", "", "04_infos_service/fluggesellschaften");
   stichwortliste[stichwortliste.length] = new Array("Flughafenf&uuml;hrungen", "Airport tours", "04_infos_service/flughafenfuehrungen");
   stichwortliste[stichwortliste.length] = new Array("Flugtaxi", "Airtaxi", "03_flugplan/flugtaxi");
   /*stichwortliste[stichwortliste.length] = new Array("Fotogesch&auml;ft", "Photography shops", "05_shopping", "Foto_Elektro");*/
   /*stichwortliste[stichwortliste.length] = new Array("Fracht", "Freight", "04_infos_service/fracht");*/
   /*stichwortliste[stichwortliste.length] = new Array("Friseur", "Hairdresser", "04_infos_service", "friseur");*/
   /*stichwortliste[stichwortliste.length] = new Array("Fundb&uuml;ro", "Lost & Found", "04_infos_service", "fundbuero");*/
   stichwortliste[stichwortliste.length] = new Array("Geldautomat", "Cash Dispensers", "04_infos_service", "geldautomat");
   /*stichwortliste[stichwortliste.length] = new Array("Geldwechsel", "Money exchange", "04_infos_service", "bank");*/
   /*stichwortliste[stichwortliste.length] = new Array("Gep&auml;ckaufbewahrung", "Baggage checkroom", "04_infos_service/gepaeck", "gepaeckaufbewahrung");*/
   /*stichwortliste[stichwortliste.length] = new Array("Gep&auml;ckermittlung", "Lost baggage", "04_infos_service/gepaeck", "gepaeckermittlung");*/
   /*stichwortliste[stichwortliste.length] = new Array("Gep&auml;cktr&auml;ger", "Porter service", "04_infos_service/gepaeck", "porterservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Gep&auml;ckwagen", "Baggage carts", "04_infos_service/gepaeck", "gepaeckwagen");*/
   /*stichwortliste[stichwortliste.length] = new Array("Geschenke", "Gifts", "05_shopping", "Geschenke_Spielwaren");*/
   /*stichwortliste[stichwortliste.length] = new Array("Gesicherte Parkplätze", "Secure Parking", "05_auto_bahn/auto");*/
   stichwortliste[stichwortliste.length] = new Array("Hotel", "Hotel", "04_infos_service", "hotel");
   stichwortliste[stichwortliste.length] = new Array("Impfungen", "", "04_infos_service", "impfungen");
   stichwortliste[stichwortliste.length] = new Array("Information", "Information", "04_infos_service", "Information");
   stichwortliste[stichwortliste.length] = new Array("Sicherheitskontrolle", "Airport Security", "04_infos_service/sicherheitskontrolle", "sicherheitskontrolle");
   /*stichwortliste[stichwortliste.length] = new Array("Handgep&auml;ck", "Carry-On Baggage", "04_infos_service/gepaeck", "handgepaeck");*/
  /*stichwortliste[stichwortliste.length] = new Array("Gep&auml;ckkontrolle", "Baggage Check", "04_infos_service/gepaeck", "kontrolle");*/
   /*stichwortliste[stichwortliste.length] = new Array("Airport Servicecenter", "Airport Service Center", "04_infos_service/servicecenter", "servicecenter");*/
   /*stichwortliste[stichwortliste.length] = new Array("&Auml;nderungsschneiderei", "Tailoring", "04_infos_service/servicecenter", "schneiderei");*/
   /*stichwortliste[stichwortliste.length] = new Array("Hinterlegungsservice", "Safe-Keeping Service", "04_infos_service", "hinterlegung");*/
   /*stichwortliste[stichwortliste.length] = new Array("Chauffeurservice", "Chauffeur service", "04_infos_service/servicecenter", "limousineneservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Limousinenservice", "Limousine service", "04_infos_service/servicecenter", "limousineneservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Medikamentenservice", "Medical Courier", "04_infos_service/servicecenter", "medikamentenservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Textilreinigung", "Dry-cleaning", "04_infos_service/servicecenter", "Textilreinigungsservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Schuhreparatur", "Shoe Repair", "04_infos_service/servicecenter", "Schuhreparaturservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Schl&uuml;sseldienst", "Lock & Key Service", "04_infos_service/servicecenter", "Schlüsseldienstservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Flughafen-Artikel", "Airport articles", "04_infos_service/servicecenter", "verkauf");*/
   /*stichwortliste[stichwortliste.length] = new Array("Reiseutensilien", "Travel accessories", "04_infos_service/servicecenter", "verkauf");*/
  /* stichwortliste[stichwortliste.length] = new Array("Souvenirs", "Souvenirs", "04_infos_service/servicecenter", "verkauf");*/
   /*stichwortliste[stichwortliste.length] = new Array("Kopierservice", "Copiers", "04_infos_service/servicecenter", "kopierservice");*/
  /* stichwortliste[stichwortliste.length] = new Array("Faxservice", "Fax Machines", "04_infos_service/servicecenter", "kopierservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Telefonservice", "Telephone Service", "04_infos_service/servicecenter", "kopierservice");*/
  /* stichwortliste[stichwortliste.length] = new Array("Reinigungsservice", "Dry-cleaning", "04_infos_service/servicecenter", "Textilreinigungsservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Passersatz", "", "04_infos_service/passersatz");*/
   /*stichwortliste[stichwortliste.length] = new Array("Reiseausweise", "", "04_infos_service/passersatz");*/
   /*stichwortliste[stichwortliste.length] = new Array("Kinderwagen", "Baby carriages", "04_infos_service/gepaeck", "sperrgepaeck");*/
   stichwortliste[stichwortliste.length] = new Array("Konferenzr&auml;ume", "Conference rooms", "04_infos_service", "konferenzraeume");
  /* stichwortliste[stichwortliste.length] = new Array("Last-Minute", "Last Minute", "04_infos_service", "Reisemarkt");*/
   /*stichwortliste[stichwortliste.length] = new Array("Reisemarkt", "Travel Markets", "04_infos_service/reisemarkt", "Reisemarkt");*/
   stichwortliste[stichwortliste.length] = new Array("Reisemarkt", "Travel Markets", "04_infos_service", "Reisemarkt");
  /* stichwortliste[stichwortliste.length] = new Array("Late-Night-Check-in", "Late Night check-in", "04_infos_service/late_night_checkin", "late_night_check_in");*/
  /* stichwortliste[stichwortliste.length] = new Array("Lounges", "Lounges", "04_infos_service", "Lounges");*/
   stichwortliste[stichwortliste.length] = new Array("Medizinische Tipps", "", "04_infos_service", "impfungen");
   stichwortliste[stichwortliste.length] = new Array("Mietwagen", "", "05_auto_bahn", "Mietwagen");
   stichwortliste[stichwortliste.length] = new Array("Lagepläne", "Airport Maps", "04_infos_service/lageplaene");
   stichwortliste[stichwortliste.length] = new Array("JU 52", "JU 52", "04_infos_service/ju52"); 
   stichwortliste[stichwortliste.length] = new Array("LTU Classic", "LTU Classic", "04_infos_service/dh104");
  /* stichwortliste[stichwortliste.length] = new Array("Park, Sleep &amp; Fly", "Park, Sleep &amp; Fly", "04_infos_service/hotel");*/
  /* stichwortliste[stichwortliste.length] = new Array("Parkgeb&uuml;hren", "Parking Fees", "05_auto_bahn/parken");*/
  /* stichwortliste[stichwortliste.length] = new Array("Parkwertkarte", "Parking Card", "05_auto_bahn/auto", "parkgebuehren_bezahlen");*/
  /* stichwortliste[stichwortliste.length] = new Array("Dauerparkkarte", "Long-term Card", "05_auto_bahn/auto", "parkgebuehren_bezahlen");*/
   stichwortliste[stichwortliste.length] = new Array("Passkontrolle", "Passport control", "04_infos_service", "passkontrolle");
   /*stichwortliste[stichwortliste.length] = new Array("Polizei", "Police", "04_infos_service", "wichtige_telefonnummern");*/
  /* stichwortliste[stichwortliste.length] = new Array("Porterservice", "", "04_infos_service/gepaeck", "porterservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Post", "Post office", "04_infos_service/servicecenter", "post");*/
   /*stichwortliste[stichwortliste.length] = new Array("Reisemarkt", "Travel agents center", "04_infos_service", "reisemarkt");*/
   stichwortliste[stichwortliste.length] = new Array("Reisemedizin", "", "04_infos_service", "impfungen");
   /*stichwortliste[stichwortliste.length] = new Array("Restaurantsuche", "Restaurants", "05_shopping/restaurantsuche");*/
   /*stichwortliste[stichwortliste.length] = new Array("S-Bahn", "S-Bahn", "05_auto_bahn", "zug_sbahn");*/
   /*stichwortliste[stichwortliste.length] = new Array("Service Point", "Service Point", "04_infos_service", "Information");*/
   /*stichwortliste[stichwortliste.length] = new Array("SkyTrain", "SkyTrain", "05_auto_bahn/skytrain");*/
   /*stichwortliste[stichwortliste.length] = new Array("Sperrgep&auml;ck", "Bulk Baggage", "04_infos_service/gepaeck", "sperrgepaeck");*/
   /*stichwortliste[stichwortliste.length] = new Array("Starthilfe", "Start help", "05_auto_bahn/auto", "starthilfe");*/
   /*stichwortliste[stichwortliste.length] = new Array("S&uuml;&szlig;igkeiten", "Snacks", "05_shopping", "Suesses_Feinkost");*/
  /* stichwortliste[stichwortliste.length] = new Array("Tankstelle", "Gas Station", "05_auto_bahn/auto", "Tankstelle");*/
   stichwortliste[stichwortliste.length] = new Array("Taxi", "Taxi", "05_auto_bahn", "Taxi");
  /* stichwortliste[stichwortliste.length] = new Array("Bahnhof", "Rail Station", "05_auto_bahn/bahnhof");*/
   stichwortliste[stichwortliste.length] = new Array("Telefax", "", "04_infos_service", "telefon");
   stichwortliste[stichwortliste.length] = new Array("Telefon", "Telephones", "04_infos_service", "telefon");
   stichwortliste[stichwortliste.length] = new Array("Telefonnummern", "Telephone numbers", "04_infos_service", "telefonnummern");
   /*stichwortliste[stichwortliste.length] = new Array("Terrasse", "", "04_infos_service", "Zuschauerterrasse");*/
   /*stichwortliste[stichwortliste.length] = new Array("Tickethinterlegung", "Ticket Pick-up", "04_infos_service/ticket");*/
   stichwortliste[stichwortliste.length] = new Array("Toiletten", "Restrooms", "04_infos_service", "toiletten");
   /*stichwortliste[stichwortliste.length] = new Array("Treffpunkt", "Meeting point", "04_infos_service", "treffpunkt");*/
   /*stichwortliste[stichwortliste.length] = new Array("Meeting Point", "Meeting point", "04_infos_service", "treffpunkt");*/
      /*stichwortliste[stichwortliste.length] = new Array("Shopping", "Shopping", "04_infos_service", "shopping");*/
  /* stichwortliste[stichwortliste.length] = new Array("Vorabend Check-in", "", "04_infos_service/gepaeck", "late_night_check_in");*/
   /*stichwortliste[stichwortliste.length] = new Array("Shopsuche", "Shopping Search", "05_shopping");*/
   /*stichwortliste[stichwortliste.length] = new Array("Einkaufen am Airport", "", "05_shopping");*/
   stichwortliste[stichwortliste.length] = new Array("Essen & Trinken", "Food and Beverage", "04_infos_service", "gastronomie");
   stichwortliste[stichwortliste.length] = new Array("Gastronomie", "Gastronomy", "04_infos_service", "gastronomie");
   /*stichwortliste[stichwortliste.length] = new Array("Durchleitungsentgelte", "", "07_unternehmen/b_to_b/nutzungsentgelte");*/
   /*stichwortliste[stichwortliste.length] = new Array("Netznutzungsentgelte", "", "07_unternehmen/b_to_b/nutzungsentgelte");*/
   /*stichwortliste[stichwortliste.length] = new Array("SMS", "SMS", "04_infos_service/sms");*/
   /*stichwortliste[stichwortliste.length] = new Array("Fluginfos per SMS", "", "04_infos_service/sms");*/
   stichwortliste[stichwortliste.length] = new Array("Zugverbindungen", "", "05_auto_bahn", "zug_sbahn");
   stichwortliste[stichwortliste.length] = new Array("Straßenkarten", "Road maps", "05_auto_bahn/strassenkarten");
   stichwortliste[stichwortliste.length] = new Array("Bahnverbindungen", "", "05_auto_bahn", "zug_sbahn");
   stichwortliste[stichwortliste.length] = new Array("Impressum", "Imprint", "08_kontakt/impressum");
   stichwortliste[stichwortliste.length] = new Array("Unternehmens-Infos", "Management", "06_unternehmen");
   /*stichwortliste[stichwortliste.length] = new Array("Flughafen MGL", "Airport MGL", "07_unternehmen/unternehmen/gmbh", "mgl");*/
   /*stichwortliste[stichwortliste.length] = new Array("Jobb&ouml;rse", "Jobs", "07_unternehmen/jobs/stellenangebote");*/
   /*stichwortliste[stichwortliste.length] = new Array("Stellenanzeigen", "", "07_unternehmen/jobs/stellenangebote");*/
   /*stichwortliste[stichwortliste.length] = new Array("Ausbildung", "", "07_unternehmen/jobs/ausbildungsplaetze");*/
   /*stichwortliste[stichwortliste.length] = new Array("Werbung am Airport", "Advertising", "07_unternehmen/b_to_b/werbung");*/
    /*stichwortliste[stichwortliste.length] = new Array("Fotoshow", "Slideshow", "07_spezial/fotoshow1");*/
   stichwortliste[stichwortliste.length] = new Array("Flugzeugabfertigung", "", "04_infos_service/flugzeugabfertigung");
   /*stichwortliste[stichwortliste.length] = new Array("Flughafen-Artikel", "Airport Articles", "04_infos_service", "flughafenartikel");*/
   stichwortliste[stichwortliste.length] = new Array("Travel Value", "Travel Value", "04_infos_service", "dutyfree");
   /*stichwortliste[stichwortliste.length] = new Array("Parkpreiskalkulator", "Parking fee calculator", "05_auto_bahn/parken");*/
   /*stichwortliste[stichwortliste.length] = new Array("airport 2000 plus", "airport 2000 plus", "07_unternehmen/airport_2000/projekt");*/
   /*stichwortliste[stichwortliste.length] = new Array("Webcam", "Webcam", "07_unternehmen/airport_2000/webcam");*/
   /*stichwortliste[stichwortliste.length] = new Array("Auf dem Vorfeld", "Out on the Airfield", "07_spezial/vorfeld");*/
   /*stichwortliste[stichwortliste.length] = new Array("E-mail", "E-mail", "08_kontakt");*/
   stichwortliste[stichwortliste.length] = new Array("Infobestellung", "Request for Info", "08_kontakt/infobestellung");
  /* stichwortliste[stichwortliste.length] = new Array("G&auml;stebuch", "", "08_kontakt/gaestebuch");*/
   stichwortliste[stichwortliste.length] = new Array("Postanschrift", "Our mailing address", "08_kontakt", "Postanschrift");
   stichwortliste[stichwortliste.length] = new Array("Hausanschrift", "Our house address", "08_kontakt", "Postanschrift");
  /* stichwortliste[stichwortliste.length] = new Array("Spielwaren", "Toys", "05_shopping");*/
   /*stichwortliste[stichwortliste.length] = new Array("Mode", "Fashion", "05_shopping");*/
   /*stichwortliste[stichwortliste.length] = new Array("Accessoires", "Accessories", "05_shopping");*/
   /*stichwortliste[stichwortliste.length] = new Array("Feinkost", "Fine Food", "05_shopping/restaurantsuche");*/
   /*stichwortliste[stichwortliste.length] = new Array("B&uuml;cher", "Books", "05_shopping", "Zeitungen_Buecher");*/
   /*stichwortliste[stichwortliste.length] = new Array("Cargo", "Cargo", "04_infos_service/fracht");*/
   /*stichwortliste[stichwortliste.length] = new Array("DUS Air Cargo Center", "DUS Air Cargo Center", "04_infos_service/fracht");*/
   /*stichwortliste[stichwortliste.length] = new Array("Zeitungen", "Newspapers", "05_shopping", "Zeitungen_Buecher");*/
   /*stichwortliste[stichwortliste.length] = new Array("Zoll", "Customs", "04_infos_service", "zoll");*/
   /*stichwortliste[stichwortliste.length] = new Array("Zuschauerterrasse", "", "04_infos_service", "Zuschauerterrasse");*/
   /*stichwortliste[stichwortliste.length] = new Array("Mediencenter", "Media Center", "08_mediencenter");*/
  /* stichwortliste[stichwortliste.length] = new Array("Fotoservice", "Photo Service", "08_mediencenter/fotoservice");*/
   /*stichwortliste[stichwortliste.length] = new Array("Aktuelle Medieninfos", "Latest News", "08_mediencenter/aktuelle_medieninfos");*/
   /*stichwortliste[stichwortliste.length] = new Array("Medieninfos - Archiv", "Text Archive", "08_mediencenter/archiv");*/
  
   /*stichwortliste[stichwortliste.length] = new Array("Mediencenter Kontakt", "Media Contacts", "08_mediencenter/kontakt");*/
   /*stichwortliste[stichwortliste.length] = new Array("Das Unternehmen", "Airport Corporate", "07_unternehmen");*/
  /* stichwortliste[stichwortliste.length] = new Array("Presseinfos", "Travel Infos", "08_news/medien_travel");*/
  /* stichwortliste[stichwortliste.length] = new Array("Travelinfos", "Travel Infos", "08_news/medien_travel");*/
   stichwortliste[stichwortliste.length] = new Array("", "Multi Card", "05_auto_bahn/auto", "parkgebuehren_bezahlen");
  /* stichwortliste[stichwortliste.length] = new Array("Airport Arkaden", "Airport Arcades", "05_shopping/uebersicht");*/
  /* stichwortliste[stichwortliste.length] = new Array("Fluggast-Begleitung", "", "04_infos_service/servicecenter", "begleitservice");*/
  /* stichwortliste[stichwortliste.length] = new Array("Zimmervermittlung", "", "04_infos_service/servicecenter", "zimmervermittlung");*/



   if (sprache == "en")
   {
      for (i=0; i<stichwortliste.length; i++) 
      {
         stichwortliste[i][0] = stichwortliste[i][1];
      }
   }

/*
   Um die Sortierfunktion "gross_klein_ignorieren" benutzen zu koennen, muss das stichwortliste-Array
   in ein Array von Strings umgewandelt, dann sortiert und dann zurueckumgewandelt werden.
*/

   var stringarray = new Array();
   for (i=0; i<stichwortliste.length; i++) 
   {
      stringarray[i] = stichwortliste[i].join("%%");
   }

   // Die Liste wird alphabetisch sortiert:
   stringarray.sort(gross_klein_ignorieren);

   for (i=0; i<stichwortliste.length; i++) 
   {
      stichwortliste[i] = stringarray[i].split("%%");
   }

   // Doppelte Stichwoerter werden geloescht, aber nur, wenn auch Pfad- und Ankername gleich sind:
   for (i=0; i<stichwortliste.length-1; i++) 
   {
      if ((stichwortliste[i][0] == stichwortliste[i+1][0]) && (stichwortliste[i][2] == stichwortliste[i+1][2]) && (stichwortliste[i][3] == stichwortliste[i+1][3])) stichwortliste[i+1][0] = "";
   }

   document.writeln("<font face='" + def_fontface + "' size='" + def_fontsize + "'>");
   document.writeln("<select name='Suche' size='1'");
   document.writeln("onchange='thema_anzeigen(this.form.Suche.options[this.form.Suche.selectedIndex].value);this.form.Suche.options[0].selected=true;'>");
   document.writeln("<option selected>" + erste_option + "</option>");

   if (sprache == "de") var pfad = "/d/";
   else if (sprache == "en") var pfad = "/e/";

   for (i=0; i<stichwortliste.length; i++)
   { 
      // Nur nicht-leere Stichwörter werden in die Selectbox geschrieben:
      if (stichwortliste[i][0]) document.writeln("<option value='" + pfad + "index.php?type=index&path=" + stichwortliste[i][2] + "&jumpto=" + stichwortliste[i][3] + "'>" + stichwortliste[i][0] + "</option>");
   }

   document.writeln("</select><br>");
   if (sprache == "en") document.writeln("Keyword search</font>");
   else document.writeln("Stichwortsuche</font>");
}