Guter Punkt, wirklich schwierig. Ich hatte die Notiz ursprünglich aufgemacht, weil es in StreetComplete aussah, als wäre der Node noch gar nicht eingetragen.

Ich hatte kurz gedacht, man könnte das mit office=government taggen, aber es ist ja nicht wirklich ein Büro. Ich würde den Kommentar also erstmal wieder schließen.