Happy Birthday Mailinglist! As far as I know, this thing here was started on July 29, 1991, which was 15 years ago. Cheers, Carsten (who will leave for BS in an hour)