ich war jetzt vor Ort und habe nirgends einen Hinweis auf den Namen "Kupferbau" gefunden. Auch auf offiziellen Seiten kein Hinweis. Da ich auf inoffiziellen Seiten (z.B. zur BI Europaplatz) den Namen "Kupferbau" gefunden habe, habe ich entsprechend des Kommentars von Qwave loc_name verwendet. Änderungssatz: https://www.openstreetmap.org/changeset/144552321