Does anyone know what happened to the german debian http mirror (http://www.de.debian.org)? Currently, it sais something about hands.com ltd. offering debian cds, but the http mirror seems to have vanished.