Vacation time

I am about to start my summer vacation, which means that there will be not much (if any) work done and that I will only check e-mails sporadically, so don’t expect any snappy responses. If you have a really really important issue to bring up, that cannot wait until I am back in mid-August, please state so in the e-mail subject line and indicate why the cannot wait. (Or simply call me if you have my number…) Have a great summer!