/*
   * Aufruf bei Drücken der Tab-Taste auf einer beliebigen Seite.
   * Weist einem Element die Klassen `element` und highlightElement zu.
   */
  var highlightElement = function(id)
  {
    addCSSClassName(id,"hightlightElement");
    addCSSClassName(id,id);
  }
  
  /*
   * 
   */  
  var unhighlightElement = function(id)
  {
    removeCSSClassName(id,"hightlightElement");
    removeCSSClassName(id,id);    
  }