Any operators from 5222.de around in here? It appears their infrastructure has been down for about 24 hours now.