Hello everyone! I am proposing a new tag, landuse=governmental, for marking land that is used for governing: https://wiki.openstreetmap.org/wiki/Proposed_features/landuse%3Dgovernmental Regards Markus