Florian Pinel is out of the office.

[Florian Pinel]

I will be out of the office starting  07/14/2011 and will not return until
07/25/2011.