function setText () {
    document.getElementById("text_span").firstChild.nodeValue = document.getElementById("Eingabe").value;
  }