Die Sanierung wurde in den Sommerferien 2013 abgeschlossen.