kernel.org down

Hmpf. Da will man sich nach zwei Wochen Internet-Abstinenz einen neuen Kernel holen und kernel.org ist down. Heise hats auch schon gemerkt.