// JavaScript Documentvar 


var aktuellerReiter = "Reiter1"
var aktuelleKarte = "Karte1";


function einschalten (neuerReiter, neueKarte) {

if (aktuellerReiter != neuerReiter) {
var dieserReiter = document.getElementById(neuerReiter);
dieserReiter.className= 'reiter_aktiv';

var alterReiter = document.getElementById(aktuellerReiter);
alterReiter.className="reiter";


aktuellerReiter = neuerReiter;

var dieseKarte = document.getElementById(neueKarte);
dieseKarte.style.visibility = "visible";
var alteKarte = document.getElementById(aktuelleKarte);
alteKarte.style.visibility = "hidden";

aktuelleKarte = neueKarte;
}
}