Bewapenings Werkplaatsen Artillerie Magazijn, Rijkswerf
Nederlands Instituut voor Militaire Historie
Rijkswerf Bawapenings Werkplaats Artillerie Magazijn te Huisduinen, Den Helder