Well, perhaps not the most early departure ever (that must have been to Leeuwarden), but still... early.

We'll take the train at 07:40. It's nice that there is a direct connection between Haarlem and Eindhoven, but there's a big risk there will be delays today.