function navigation_wechseln(kategorie) {
  var pfad = kategorie;
  document.getElementById("nav_image").src = "bilder/navigation_" + pfad + ".jpg";
}

function navigation_standard(uebergabe) {
  var standardbild = uebergabe;
  document.getElementById("nav_image").src = "bilder/navigation_" + standardbild + ".jpg";
}