Hallo, kann mir einer sagen, ob sich die irc adresse von debian irc.debian.org sich geändert hat? Ich bekomme einfach keine Verbindung. Grüße Michael