Server down
Leider war der Server heute fuer einige Zeit nicht erreichbar. Ich wollte endlich die lange notwendige Umstellung vornehmen und es dauerte einfach erheblich laenger als geplant. Jetzt laeft alles wieder. Ich werde aber in den kommenden Wochen noch eine weitere noicht ganz so grosse Aenderung vornehmen muessen. Ich hoffe, das wird aber niemand merken.