One day June became July, and almost instantly the office emptied as everyone went on vacation. Today we were 4 people in the office, out of the normal 15 or so. There are also noticeably fewer people on the train in the morning and the evening, and various restaurants in town have closed for the summer. In Sweden, apparently, the old industrial tradition of everyone taking vacation at the same time (in July) is still alive. I’d forgotten that things worked this way here.