Stukken betreffende het bombardement van 6 december 1942 op de Philips-fabrieken in Eindhoven, december 1942 - februari 1943.