tom

unser Server war nicht down, allerdings auch nicht erreichbar - es gab (soweit ich weiß) leider schon wieder ein gröberes Problem mit einem Router beim Provider. Ich hoffe jedenfalls, das war das letzte für längere Zeit...