text=" +++Cocktail Happy-Hour 17:00 – 19:30 Uhr und 21:45 Uhr – 24:00 Uhr + Cocktails mit Alkohol 5,00 €  Cocktails ohne Alkohol 4,00 € +++ Cocktail Happy-Hour 17:00 – 19:30 Uhr und 21:45 Uhr – 24:00 Uhr +++ Cocktails mit Alkohol 5,00 €  Cocktails ohne Alkohol 4,00 €";
   function lauf()
   {
      text=text.slice(1,text.length)+text.slice(0,1);
      document.zeile.fenster.value=text;
      window.setTimeout("lauf()",150);
   }
   window.setTimeout("lauf()",150);