After two outages of under 15 minutes this morning we are investigating our proxy infrastructure.
Protonet servers that could not be accessed via their boxname.protonet.info-adresses reconnect automatically.
UPDATE: The issue has been resolved.
