Eine Menge neuer Daten und jetzt sind alle GeoJSON-Dateien mit OpenGPG signiert