Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942 Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942 Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942 Nederland in vroeger tijd : 18e eeuwse beschrijving van steden en dorpen in Nederland : Zeeland : beschrijving van het land van Schouwen, Duiveland, en … Verslag van het gebeurde te Philipstad, in de maand september 1830 / [door Van Teijlingen van Hilvarenbeek]