Amsterdam. Rijksinstituut voor Oorlogsdocumentatie.