Der Baustellensommer geht zu Ende.