DUNE Mailing list addresses changed

The Dune mailing lists have moved. Previously they were using addresses in the @dune-project.org domain; this has been changed to @lists.dune-project.org. Please update your address books, and, if applicable, your mail filters. The web interface for administrative tasks and list archives continues to be available at https://lists.dune-project.org.

In addition, lists that were no longer needed have been removed.

The mailing lists are now hosted by the group of Christian Engwer at the WWU M√ľnster. We thank the group of Peter Bastian for hosting the mailing lists for more than 15 years!