karlsruhe.de down? Und das in der Internethauptstadt Deutschlands?