Die Sanierung in der Deutschen Nationalbibliothek geht voran – wie jede andere auch langsamer als geplant