@jogbert :-( I may be popping into work later too, but mostly to say "bye" to some colleagues who are heading off to Germany.