<!--

   function menu_punkt (name_punkt,bild_punkt) {

                document.images[name_punkt].src = bild_punkt;
   }

   function gross (vorschaubild) {

            parent.frames["grosse_bilder"].document.images["vorschau"].src = vorschaubild;
   }
//-->