In Memoriam: Paul J. Denk