León-Castro Alonso, M. del P. . In Memoriam Nikolaus Himmelmann (1929–2013). MM 2020, 55, 599–603.