Title: Hartzenbusch
People: Juan Eugenio Hartzenbusch (1806-1880)