English: When did Antonio Lara de Gavilán pass away?
translation: Wann ist Antonio Lara de Gavilán vergangen?
translation: Wann ist Antonio Lara De Gavilán vergangen?
translation: Wann ist Antonio Lara de Gavilán gestorben?