Nein, der gebräuchliche. Ansonsten solltest du den name=* von https://www.openstreetmap.org/node/20833623 um „Freie und Hansestadt“ ergänzen. Offizielle, aber ungebräuchliche Namen kommen ins official_name=*.
–ks