This post was published 16 years, 6 months ago. Some material it contains may no longer be applicable.
Anscheinend gab es ein Netzwerkproblem bei meinem Provider; aus einigen Netzen konnte nicht mehr auf den Server hier zugegriffen werden.
Anyway, es scheint behoben. Schön…