Temporary problem with HOME dir file servers 20200526, *Fixed 08:25*

We are currently having problems with the HOME directory file server.

We hope to have it fixed before 09:00

*UPDATE 20200526 08:25*

Problem solved.