The Dutch call it summer.