/***********************************\
 * Mouse-Overs der Hauptnavigation *
\*'*********************************/
var AlterWert ="";
function roll(Bildname, Dateiname) {
  AlterWert = document.images[Bildname].src;
  document.images[Bildname].src = Dateiname;
}
function vorher(Bildname) {
  document.images[Bildname].src = AlterWert;
}