Allen, die mir bei der Suche geholfen haben, ein herzliches "Danke". Es stellte sich heraus, daß ich nicht einen Ort, sondern einen Familiennamen suchte. Es war nicht der Ort Schwachheim, sondern die Müllerfamilie, die der Mühle den Namen gab: Schwachheims Mühle und nicht Schwachheimer Mühle, man sollte doch immer auf die Originaleintragungen zurückgreifen. Müller Sch. betrieb seine Mühle in Othfresen, das passt auch zu meinen anderen Orten Klein Mahner und Jerstedt. Nochmals vielen Dank an alle für das Finden eines neuen Mosaiksteichens, Gruß, Ulli (Euent) var bodytag = ""; document.body.style.fontFamily ='Verdana'; function strip(value) { if(value != undefined){ while (value.indexOf(" ")==0) { value = value.substring(1,value.length); } } return value; } document.body.bgColor = '#ffffff'; var bodystyle = 'margin-left:0px; margin:0px; margin-left:0px; margin-right:0px; margin-top:0px; margin-bottom:0px; font-family: Verdana'; var styles = bodystyle.split(";"); for (i=0; i<styles.length; i++) { werte = styles[i].split(":"); var key = strip(werte[0].toLowerCase()); var value; if (werte.length>2) { value = werte[1]; for (j=2;j<werte.length;j++) { value = value + ":" + werte[j]; } value = strip(value); } else { value = strip(werte[1]); } switch(key) { case "background-position": document.body.style.backgroundPosition = value; break; case "font-weight": document.body.style.fontWeight = value; break; case "font-size": document.body.style.fontSize = value; break; case "background-image": document.body.style.backgroundImage = value; break; case "margin": document.body.style.margin = value; break; case "color": document.body.style.color = value; break; case "background-repeat": document.body.style.backgroundRepeat = value; break; case "font-style": document.body.style.fontStyle = value; break; case "font-family": document.body.style.fontFamily = value; break; case "background-color": document.body.style.backgroundColor = value; break; case "margin-left": document.body.style.marginLeft = value; break; case "margin-right": document.body.style.marginRight = value; break; case "margin-top": document.body.style.marginTop = value; break; case "margin-bottom": document.body.style.marginBottom = value; break; default: } } </SCRIPT>