Obituary: Jan Pokorny, 1915-2008