<!--
 var highlightSuffix = "-o"
 var gesetztesHighlight = new String()
 if (self != top){
 gesetztesHighlight = top.gesetztesHighlight
 }

 // nicht vergessen onload="init()"
 var haveImages = document.images
 var allLoaded = false
 var picture = new Array()
 var highlighted = new String()

 function HighlightedPicture(src, suffix){
         this.Lowlight = new Image()
         this.Highlight = new Image()
         this.Lowlight.src = src + "." + suffix
         this.Highlight.src = src + highlightSuffix + "." + suffix
 }
 function init(){
         if (haveImages){
                 var s = new String()
                 var src = new String()
                 var suffix = new String()
                 for (var i=0; i < document.images.length; i++){
                         s = document.images[i].name
                         if (s.length > 0){
                                 src = document.images[i].src
                                 suffix = src.substring(src.length - 3, src.length).toLowerCase()
                                 src = src.substring(0, src.length - 4)
                                 picture[ s ] = new HighlightedPicture(src, suffix )
                         }
                 }
                 allLoaded = true

                 if ( gesetztesHighlight != "" ){
                         pressed( gesetztesHighlight )
                 }
         }
 }
 function pressed( name ){
         if (allLoaded){
                 var tmp = highlighted
                 highlight( name )
                 highlighted = name
                 if ( tmp != "" ){
                         lowlight( tmp )
                 }
         }
 }
 function reset(){
         if (allLoaded){
                 var tmp = highlighted
                 highlighted = ""
                 lowlight( tmp )
         }
 }
 function lowlight( name ){
         if (allLoaded && (name != highlighted)){
                 if (typeof picture[ name ] == "undefined"){
                 } else {
                         haveImages[ name ].src = picture[ name ].Lowlight.src
                 }
         }
 }
 function highlight( name ){
         if (allLoaded && (name != highlighted)){
                 if (typeof picture[ name ] == "undefined"){
                         //alert('highlight: "' + name + '" existiert nicht, oder wurde falsch geschrieben!')
                 } else {
                         haveImages[ name ].src = picture[ name ].Highlight.src
                 }
         }
 }
 // stop
//-->