of which Paul Ritter died