/* DATEI: willkommen.js */

        var osd=" "
        osd+="Wir freuen uns, Sie auf unserer Homepage begruessen zu koennen.";
        osd+=" ";
        var timer;
        var msg="";
        function scrollMaster()

        {
                msg=customDateSpring(new Date())
                clearTimeout(timer)
                msg+=" "+showtime()+" "+osd
                for(var i=0;i<100;i++)

                {
                        msg=" "+msg;
                }
                scrollMe()

        }
        function scrollMe()

        {
                window.status=msg;
                msg=msg.substring(1,msg.length)+msg.substring(0,1);
                timer=setTimeout("scrollMe()",200);
        }
        function showtime()

        {
                var now=new Date();
                var hours=now.getHours();
                var minutes=now.getMinutes();
                var seconds=now.getSeconds();
                var months=now.getMonth();
                var dates=now.getDate();
                var years=now.getYear();
                var timeValue=""
                timeValue+=((months>9)?"":" ")+hours
                timeValue+=((minutes<10)?":0":":")+minutes+" "
                return timeValue;
        }
        function MakeArray(n)

        {
                this.length=n
                return this

        }
        monthNames=new MakeArray(12)
        monthNames[1]="Januar"
        monthNames[2]="Februar"
        monthNames[3]="Maerz"
        monthNames[4]="April"
        monthNames[5]="Mai"
        monthNames[6]="Juni"
        monthNames[7]="Juli"
        monthNames[8]="August"
        monthNames[9]="September"
        monthNames[10]="Oktober"
        monthNames[11]="November"
        monthNames[12]="Dezember"
        daysNames=new MakeArray(7)
        daysNames[1]="Sonntag"
        daysNames[2]="Montag"
        daysNames[3]="Dienstag"
        daysNames[4]="Mittwoch"
        daysNames[5]="Donnerstag"
        daysNames[6]="Freitag"
        daysNames[7]="Samstag"
        function customDateSpring(oneDate)

        {
                var theDay=daysNames[oneDate.getDay()+1]
                var theDate=oneDate.getDate()
                var theMonth=monthNames[oneDate.getMonth()+1]
                var dayth="th"
                var now=new Date();
                var years=now.getYear();
                years += (years < 1900) ? 1900 : 0
                if((theDate==1)||(theDate==21)||(theDate==31))

                {
                        dayth=".";
                }
                if((theDate==2)||(theDate==22))

                {
                        dayth=".";
                }
                if((theDate==3)||(theDate==23))

                {
                        dayth=".";
                }
                return theDay+",  "+theDate+". "+theMonth+" "+years+": "

        }
        scrollMaster();