We haven't really had any proper summer vacation this year. Generally, we end up spending our vacation days going to Europe, either in the summer or around the Christmas holidays, but not this year.