The location of the Gravenhorst memorial