function Eng2Deutsch (DatZeit)
{
   var br = ((parseInt(navigator.appVersion) >= 3) && (navigator.appName.indexOf("Netscape") != -1)) || 
            ((parseInt(navigator.appVersion) > 3) && (navigator.appName.indexOf("Microsoft") != -1));
   if (br == false) return(DatZeit);
   zchn = DatZeit.charAt(0);
   DatZeit1 = DatZeit.split(" ");
   if (zchn <= '9')
   {
    Datum  = DatZeit1[0];
    Datum1 = Datum.split("/");
      Monat = Datum1[0];
      Tag   = Datum1[1];
      Jahr  = Datum1[2];
    Zeit   = DatZeit1[1];
   }
   else
   {
    Monat = DatZeit1[1];
      if      (Monat == "January"  ) Monat = "01"
      else if (Monat == "February" ) Monat = "02"
      else if (Monat == "March"    ) Monat = "03"
      else if (Monat == "April"    ) Monat = "04"
      else if (Monat == "May"      ) Monat = "05"
      else if (Monat == "June"     ) Monat = "06"
      else if (Monat == "July"     ) Monat = "07"
      else if (Monat == "August"   ) Monat = "08"
      else if (Monat == "September") Monat = "09"
      else if (Monat == "October"  ) Monat = "10"
      else if (Monat == "November" ) Monat = "11"
      else if (Monat == "December" ) Monat = "12";
    Tag   = DatZeit1[2];
      TagL = Tag.length;
      Tag1 = Tag.substr(0,TagL-1);
      if (Tag1.length = 2)
        {Tag = Tag1}
      else 
        {Null = "0";
         Tag = Null.concat(Tag1)}
    Jahr  = DatZeit1[3];
    Zeit  = DatZeit1[4];
   }
   Zeit1  = Zeit.split(":");
   return(Tag + "." + Monat + "." + Jahr + " - " + Zeit1[0] + "." + Zeit1[1]);
}