A windmill in old Amsterdam