Groningen onderzoekt overstap van Windows naar Linux