Gevolgen van het bombardement van Den Helder door de Duitsers op 14 mei 1940.
Nederlands Instituut voor Militaire Historie