Currently on Holiday Re: Mail Delivery (failure erikp@cs.kun.nl)

[Proper, Erik]

I will be on a holiday from the 28th of June until the 19th of July. I
might take a peek at my mail during this period, but don't count on it
... not much internet access