function Schrift() {
  document.write('Schrift<br />'+
    fun_fontSize.smallerLink+'&nbsp; &nbsp;'+
    fun_fontSize.resetLink+'&nbsp; &nbsp;'+
    fun_fontSize.biggerLink);
  }