var dw_fontSizer = {
  // sizeUnit and defaultSize for body.style.fontSize
  sizeUnit: "%",
  defaultSize: 70,
  // numbers (same unit as sizeUnit)
  maxSize:     100,
  minSize:     70,

  init: function() {
    if ( !document.body || !document.getElementById ) return;
//    var size = window.location.search? window.location.search.slice(1): getCookie("fontSize");
    var size = getCookie("fontSize");
    size = !isNaN( parseFloat(size) )? parseFloat(size): this.defaultSize;
    // in case default unit changed or size passed in url out of range
    if ( size > this.maxSize || size < this.minSize ) size = this.defaultSize;
    /* !!!!! Änderung  Anfang !!!! */
    var sizerEl = document.getElementById('hilfsmittel');
    /* !!!!! Änderung Ende  !!!! */
    if (sizerEl) sizerEl.style.display = "block";    
    document.body.style.fontSize = size + this.sizeUnit;
  },
  
  adjust: function(inc) {
    var size = parseFloat( document.body.style.fontSize );
    /* !!!!! Änderung  Anfang !!!! */
    size = !isNaN( parseFloat(size) )? parseFloat(size): this.defaultSize;
    /* !!!!! Änderung Ende  !!!! */
    size += inc;
    // Test against max and min sizes 
    if (inc > 0) size = Math.min(size, this.maxSize);
    else size = Math.max(size, this.minSize);
    setCookie( "fontSize", size, 180, "/" );
    document.body.style.fontSize = size + this.sizeUnit;
  },

  reset: function() {
    document.body.style.fontSize = this.defaultSize + this.sizeUnit;
    deleteCookie("fontSize", "/");
  }
  
}