In Memoriam: Derek Allen 1947-2023