<!-- Vor alten Browsern verstecken
                        Normal1 = new Image();
                        Normal1.src = "./images/line_lo.gif";
                        Highlight1 = new Image();
                        Highlight1.src = "./images/line_hi.gif";
                        function Bildwechsel(Bildnr,Bildobjekt,Text)
                        {
                        window.document.images[Bildnr].src = Bildobjekt.src;
                        window.status = '';
                        }
                        //-->