<!--
function CSS_Wechsel_normal () {
  document.getElementById("CSS").href = "fileadmin/css/achterbahn.css";
}
function CSS_Wechsel_gross () {
  document.getElementById("CSS").href = "fileadmin/css/achterbahn_2.css";
}
function CSS_Wechsel_groesser () {
  document.getElementById("CSS").href = "fileadmin/css/achterbahn_3.css";
}
//-->