Hartzenbusch, Juan Eugenio    
geb. 6. September 1806 in Madrid; gest. 2. August 1880 in Madrid
Datenquelle: GND