Wandelen in de Amsterdamse Waterleidingduinen - De kraan van Amsterdam