Peter R. de Vries is dead!