Obituary of Peter A. Velten