Sanierung: Formel-1-Dach für den Aachener Dom