phpunit.de back online

Load phpunit.de is back online. I think Tobias, on whose server the site runs, will share some information about what went wrong with the server while he was on vacation on his blog soon.