Ismael Olea is ismael@olea.org. His web page is here.