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