tlaplus.net is down

I see several links on the web to pages on tlaplus.net. For example, the Wikipedia page https://en.wikipedia.org/wiki/Temporal_logic_of_actions links to the URL http://www.tlaplus.net/tools/tla-toolbox/ .

However, all HTTP requests to http://www.tlaplus.net/.. and http://tlaplus.net/.. give me a page saying "Diese Präsenz ist derzeit nicht verfügbar." Like so:

> curl -v -X GET http://www.tlaplus.net/tools/tla-toolbox/

* Hostname was NOT found in DNS cache

* Trying 80.67.28.152...

* Connected to www.tlaplus.net (80.67.28.152) port 80 (#0)

> GET /tools/tla-toolbox/ HTTP/1.1

> User-Agent: curl/7.37.1

> Host: www.tlaplus.net

> Accept: */*

< HTTP/1.1 200 OK

< Date: Mon, 17 Nov 2014 22:37:09 GMT

* Server Apache/2.2.22 is not blacklisted

< Server: Apache/2.2.22

< Last-Modified: Thu, 30 Jan 2014 11:48:28 GMT

< ETag: "6ca8131-160-4f12ea2be1b00"

< Accept-Ranges: bytes

< Content-Length: 352

< Connection: close

< Content-Type: text/html

<html>

<head>

<title>Nicht verfügbar</title>

</head>

<h2>Diese Präsenz ist derzeit nicht verfügbar.</h2>

</body>

<head>

</head>

</html>

* Closing connection 0