Dear DUNE, due to a kernel update, the server hosting the *.dune-project.org domains will be rebooted today in the time frame 2:00 to 2:30 p.m. We expect the outage to last less than ten minutes. Greetings from Heidelberg, Sven