Federico Mayor Zaragoza — Spanish politician and academic (1934–2024)