hek van het Armamentarium te Delft : verslag van historisch onderzoek / Rijksgebouwendienst, Bureau Rijksbouwmeester, Adviesgroep Monumenten in Rijksbezit