Lehner, M. In Memoriam Richard W. Redding. jarce 2023, 59, 13–15.