"Closed for the holiday"

Hi, I am signing off now for the summer holiday.

I will (try to) not blog for 3 weeks …

Expect a “revitalized blogger” after August 11

Peter