function anzeigen()
	{
	document.getElementById("logo").style.visibility = "visible";
	}
function gross(bild, hoehe, breite)
	{
	var url="detail.php?pic="+ bild;
	var name="Detailansicht";
	test = window.open(url, name, "status, width="+breite+", height="+hoehe+"");
	}
function over(welches)
{
bild_over="grafik/"+welches+"_over.gif";
document.images[welches].src=bild_over;
}
function out(welches)
{
bild_out="grafik/"+welches+".gif";
document.images[welches].src=bild_out
}