This post was published 18 years, 7 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…