Vergangenes Jahr gab es im Juli und August auch kein vollständiges Update, sondern nur ein paar Korrekturen (Ein paar 0-Setzungen von Webkatalogen, weisser Balken für ein paar neue Seiten). Das hätten wir dieses Jahr für Juli schon hinter uns.