text: Zitat aus Wikipedia (Ingersheim / Neuzeit):
  Das heutige Ingersheim wurde am 1. Januar 1972 aus den beiden bis dahin selbstständigen Gemeinden Großingersheim und Kleiningersheim gebildet. Die erst 1829 erfolgte Trennung 
  der beiden „Ingersheims“ wurde damit wieder rückgängig gemacht. 
  Das eigenliche Problem für mich war: Ich verwende OSMand (Open Street Map fpr Android. Bei Eingabe von Ingersheim erscheinen 2 Angaben: (Ingersheim als Teil von Crailsheim und Ingersheim bei Colmar). Erst über die Eingabe der Postleitzahl fand ich das von mir gesuchte "Ingersheim".
  