Hello, based on your comment, I checked this and adjusted it right away. https://www.openstreetmap.org/changeset/136695654 In Germany, we use the following tags for a town hall: 
building=public
amenity=Town Hall
https://wiki.openstreetmap.org/wiki/DE:Tag:building%3Dpublic
https://wiki.openstreetmap.org/wiki/DE:Tag:amenity=townhall?uselang=de your other customizations made with ID look good. Nice greeting puma515