filterOMC

var filterOMC: Set<String>?
Content copied to clipboard

Filtert nach Meldungen, die bestimmte Orte betreffen. Der Wert des Filters ist eine Liste von Gemeindekennziffern (GKZ bzw. OMC), die durch einen Doppelpunkt voneinander getrennt werden. Auf diese Weise können beispielsweise Landkreise modelliert werden.