text: Ich kenne ich vor Ort nicht aus, aber www.ingersheim.de sagt:
  "Ingersheim besteht aus den zwei Ortschaften Groß- und Kleiningersheim"
  In Wikipedia lese ich das ähnlich. Die Teilorte schienen also weiterhin so zu heisen.