Netherlands: 425,000 suspected Nazi collaborators' names published