Duitse bezetting (1940-1945). Den Helder mei 1940
Nederlands Instituut voor Militaire Historie