2010/8/7 Pablo Rodríguez <oinos at web.de>: > I guess there is no way to avoid it (since there is no easy way to avoid the > patent itself). Well, the patent is EP0466953, which should have expired on 2010-07-18 (1990-07-17 plus 20 years), but IANAL... :-) Best Martin