Dutch government finally allowed to use public cloud