Hinsichtlich der ehemaligen Gemeinde bin ich Deiner Ansicht; ich hatte die beim Umbau nur so übernommen. Generell scheint mir aber die Nennung des Ortsteiltypen besser, als nur das generische "Ortsteil" hinzuschreiben, zumal Ortsteil/Gemeindeteil/Ortschaft ohnehin ein semantisches Gestrüpp bilden, dessen Elemente überall dann doch etwas anders verstanden werden. Und zumindest wenn man den Ortsteiltypen statt Ortsteil schreibt, wird es ja auch nicht länger. Also wieso nicht besser konkreter? -- Silvicola 13:03, 30. Mär. 2017 (CEST)