Sorry, please disregard previous email on the subject. It's already decided (for Innsbruck), see http://lists.lri.fr/pipermail/termtools/2007-September/000467.html I apologize for any confusion. Best regards, Johannes.