P . A . R . Gravenhorst har d.