Beheerder/ontwikkelaar FileNet, Den Haag