<!-- Vor alten Browsern verstecken
                        Normal1 = new Image();
                        Normal1.src = "../images/dot.gif";
                        Highlight1 = new Image();
                        Highlight1.src = "../images/dot_pf.gif";
                        function Bildwechsel(Bildnr,Bildobjekt,Text)
                        {
                        window.document.images[Bildnr].src = Bildobjekt.src;
                        window.status = Text;
                        }
// Stop hiding from old browsers -->