och schade, doch nix :o(

Leider kein Server-Upgrade heute, weil sich die Server-Hotspot-VM beim Benchmarking regelmässig aufhängte, und zwar an völlig unverfänglichen Stellen. Leider hab ich 4 Stunden gebraucht, um herauszufinden, dass es an der Server-Hotspot-VM lag. Ansonsten aber läuft alles sehr sehr fein. [henso]

Update: We had to delay the update because of technical difficulties. (Don't worry, it's already fixed.) We'll try again sometime next week at a time that will be announced in timely fashion right here in this place. [antville]