Ursprünglich sollten die Arbeiten Anfang Oktober abgeschlossen sein. Die Schäden, die jetzt repariert werden, sind teils schon vor einem Jahr festgestellt worden