Dabei handelt es sich um normale Restarbeiten, die gegen Ende eines so komplexen Bauprojekts häufig anfallen.