// Funktion zum Anzeigen/Tausch von Fotos
	function change(tausch_bild_name,neues_bild_name)
	{
	window.document[tausch_bild_name].src = "dgw_grafik/jubilaeum/"+neues_bild_name+".jpg";
	}