In memoriam: José Antonio García-Trevijano Fos (ƒ)