GDI-DE Registry

Die Wartungsarbeiten endeten gestern erst gegen 17:30 Uhr. Ich hoffe, das hatte für niemanden unangenehme Auswirkungen. Ansonsten läuft das Produktivsystem durch einen unausweichlichen Neustart des Servers wieder viel schneller und es konnten wertvolle Erkenntnisse über die Performance gesammelt werden, die hoffentlich zukünftig helfen werden, eben diese zu verbessern.