De burgers van Den Helder; de geschiedenis der stad tijdens de duitsche bezetting, mei 1940/mei 1945