Es gab Störungen bei der Erreichbarkeit unseres Servers. Ich kann leider nicht nachvollziehen, wie lange schon. Ein Neustart hat die Sache behoben.