Rijks Institut Voor Oorlogsdocumentatio, Amsterdam