Documenten uit de oorlogstijd

met dank aan D.J.de Haan