Gemeente Groningen onderzoekt overstap van Windows naar Linux