function showENGVersion(){
  document.getElementById("tv-english").style.display = "block";
  document.getElementById("tv-german").style.display = "none";
}

function showGERVersion(){
  document.getElementById("tv-english").style.display = "none";
  document.getElementById("tv-german").style.display = "block";
}