Die genaue Gemeindezugehörigkeit ist für den Ortsnamen doch irrelevant und nur weil da ein paar Meter drüberstehen bezweifle ich dass sich der Teil anders nennt. Wenn dann wäre das sowieso nur ein _Teil_ des Ortes und kein separater eigenständiger Ort.

Die `addr:*=*` Tags bestimmen nur die postalische Adresse die abweichend vom geläufigen Ortsnamen sein kann.