It turns out that 13th June is a public holiday in The Netherlands. Now I’m just waiting to see if I will be putting my feet up or claiming for overtime.