Please note that my office hours on Friday 14 May 2010 are cancelled and rescheduled to Wednesday 12 May, 14.15-15.45.  Many apologies. Tomáš Gráf