function changePicture(ersatzbild, bildnummer){
bild = new Image();
bild.src = ersatzbild;
document.images[bildnummer].src = bild.src;
}

function showLink(ersatztext){
window.status=ersatztext;
}

function showNothing(){
window.status='';
}

function showFoto(dateiname){
Information=window.open(dateiname, 'Information', 'width=750,height=600,toolbar=0,scrollbars=1,status=1');
}

function showReferenzBeton(dateiname){
Information=window.open(dateiname, 'Information', 'width=600,height=600,toolbar=0,scrollbars=1,status=0,');
}

function showReferenzBauten(dateiname){
Information=window.open(dateiname, 'Information', 'width=600,height=600,toolbar=0,status=0,');
}