In Memoriam: Peter Buxtun (1939–2024)