On 07/01/2025 11:44, Tobias Nipkow wrote: > Dear readers of this list, > > Please note that starting with the new year, the only valid address for this > list is the above one (which most of you will use anyway). Addresses like > informatik.tu-muenchen.de no longer work because TUM has switched them off. What is the canonical Web interface now? Makarius