 Das ist die schlechtestmögliche Begründung. Amtliche Karten sind oft falsch, und für offizielle Namen gibt es official_name=*. In name=* sollte der übliche Name stehen, und wenn ich nach "Harterberg Baden" google, finde ich mehr Seiten von Orstkundigen als wenn ich nach "Hartberg Baden" google. Es wäre also interessant, was Einheimische zu dieser Namenskontroverse sagen.