De Kriegsmarine in Nederland 1940-1945: Een lacune in de geschiedschrijving