Digest of the kingdom of the Netherlands (Netherlands Goverment Information Service, 1963)