Grotfontein in de kruidentuin van Paleis Het Loo, Laurens Scherm, 1702