/* Image Roll Over */
function Roller(Bildname, Dateiname) {
  if (document.images) {
    document.images[Bildname].src = Dateiname;
  }
}