10.07u waren we bij het vertrekpunt van de veerpont naar Texel aangekomen.