Quite an interesting matter. On Schiphol.nl it says that Ettie's plane is due to arrive at 2:10 (so not 4.00 o'clock). However, this night at 3:00 o'clock the clock will put turned back one hour. So if it says 2:10 does that mean 2:10 summertime or 3:10 summertime?
My parents are guessing the first -- so they're leaving now.