Toolbox can't be reached

At the moment, the toolbox does not seem to be reachable. When trying to access the URL http://exist3.ulb.tu-darmstadt.de:8080/exist/apps/edoc/addins/wdm-toolbox/main.html via browser, no response comes back.

Also, the toolbox endpoint to create new projects, http://exist3.ulb.tu-darmstadt.de:8080/exist/restxq/edoc/addins/wdm-toolbox/ident/project?name=Air&type=j, does not seem to be reachable at the moment.

Since you are on vacation, @KWunsch, I would also mention you, @dariok, here in this issue. If you had any idea, what could cause this problem, this would be a great help. Thanks in advance!