Jonathan, thank you for checking other dates following my earlier post! > Just so you know: 12-jun is Pentecost (da:Pinse, se:Pingst). At least > in Denmark, Pentecost Monday (13-jun) is a public holiday.
With that in mind, the 11th and 12th look like a worse alternative than 18th-19th. I vote for the later dates :-) /Erwan