/* ######### Beispielbilder werden ausgetauscht ################ */

function maxi_ein(welcher,wo) {
	document.getElementById(wo).getElementsByTagName("img")[0].src = welcher.src.replace('mini','maxi');
}