Mylentun Redaktion vor 8 Jahren Von einem Familiennamen, der wiederum auf eine Ortsbezeichnung ‚Mühle-Stadt‘ zurückgeht