Geen titel Graafwerkzaamheden t.b.v. een nieuwe kelder, tijdens de verbouwing van het Arsenaal tot Gemeentearchief