Legacy web pages

Find here some legacy web pages that I do not maintain anymore.