The list server has been shut down

As the mailing-lists have not been used in years, there was no sense in continuing operation.

The archives are not available online any longer, due to some uncertainties regarding the GDPR. Removing all personal information from the archives was not feasible, so I rather took the whole archives offline.

Imprint | Privacy Policy