Betrachte ich mit https://www.openstreetmap.org/node/11670164613 als erledigt, da hier augenscheinlich nur Verwaltung stattfindet und sich keine separate, physische Einrichtung befindet, die man extra mappen kann.